home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 90%
| dexvert
| Hypertext Markup Language File (text/html)
| magic
| Supported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| HTML document text
| default (weak)
| |
| 99%
| file
| LaTeX document text
| default
| |
| 98%
| file
| exported SGML document text
| default
| |
| 97%
| file
| exported SGML document, ASCII text
| default
| |
| 80%
| TrID
| HyperText Markup Language with DOCTYPE
| default
| |
| 19%
| TrID
| HyperText Markup Language
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| gt2
| HTML (Hyper Text Markup Language) Datei
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
| |
| 100%
| xdgMime
| text/html
| default
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 3c 21 44 4f 43 54 59 50 | 45 20 48 54 4d 4c 20 50 |<!DOCTYP|E HTML P|
|00000010| 55 42 4c 49 43 20 22 2d | 2f 2f 57 33 43 2f 2f 44 |UBLIC "-|//W3C//D|
|00000020| 54 44 20 48 54 4d 4c 20 | 33 2e 32 20 46 69 6e 61 |TD HTML |3.2 Fina|
|00000030| 6c 2f 2f 65 6e 22 3e 0a | 0a 3c 21 2d 2d 43 6f 6e |l//en">.|.<!--Con|
|00000040| 76 65 72 74 65 64 20 77 | 69 74 68 20 4c 61 54 65 |verted w|ith LaTe|
|00000050| 58 32 48 54 4d 4c 20 32 | 30 32 32 20 28 52 65 6c |X2HTML 2|022 (Rel|
|00000060| 65 61 73 65 64 20 4a 61 | 6e 75 61 72 79 20 31 2c |eased Ja|nuary 1,|
|00000070| 20 32 30 32 32 29 20 2d | 2d 3e 0a 3c 48 54 4d 4c | 2022) -|->.<HTML|
|00000080| 20 6c 61 6e 67 3d 22 65 | 6e 22 3e 0a 3c 48 45 41 | lang="e|n">.<HEA|
|00000090| 44 3e 0a 3c 54 49 54 4c | 45 3e 43 6f 6e 74 65 6e |D>.<TITL|E>Conten|
|000000a0| 74 73 20 6f 66 20 46 75 | 6e 63 74 69 6f 6e 73 20 |ts of Fu|nctions |
|000000b0| 72 65 6c 61 74 65 64 20 | 74 6f 20 65 6c 6c 69 70 |related |to ellip|
|000000c0| 74 69 63 20 63 75 72 76 | 65 73 2e 3c 2f 54 49 54 |tic curv|es.</TIT|
|000000d0| 4c 45 3e 0a 0a 3c 4d 45 | 54 41 20 48 54 54 50 2d |LE>..<ME|TA HTTP-|
|000000e0| 45 51 55 49 56 3d 22 43 | 6f 6e 74 65 6e 74 2d 54 |EQUIV="C|ontent-T|
|000000f0| 79 70 65 22 20 43 4f 4e | 54 45 4e 54 3d 22 74 65 |ype" CON|TENT="te|
|00000100| 78 74 2f 68 74 6d 6c 3b | 20 63 68 61 72 73 65 74 |xt/html;| charset|
|00000110| 3d 75 74 66 2d 38 22 3e | 0a 3c 4d 45 54 41 20 4e |=utf-8">|.<META N|
|00000120| 41 4d 45 3d 22 76 69 65 | 77 70 6f 72 74 22 20 43 |AME="vie|wport" C|
|00000130| 4f 4e 54 45 4e 54 3d 22 | 77 69 64 74 68 3d 64 65 |ONTENT="|width=de|
|00000140| 76 69 63 65 2d 77 69 64 | 74 68 2c 20 69 6e 69 74 |vice-wid|th, init|
|00000150| 69 61 6c 2d 73 63 61 6c | 65 3d 31 2e 30 22 3e 0a |ial-scal|e=1.0">.|
|00000160| 3c 4d 45 54 41 20 4e 41 | 4d 45 3d 22 47 65 6e 65 |<META NA|ME="Gene|
|00000170| 72 61 74 6f 72 22 20 43 | 4f 4e 54 45 4e 54 3d 22 |rator" C|ONTENT="|
|00000180| 4c 61 54 65 58 32 48 54 | 4d 4c 20 76 32 30 32 32 |LaTeX2HT|ML v2022|
|00000190| 22 3e 0a 0a 3c 4c 49 4e | 4b 20 52 45 4c 3d 22 53 |">..<LIN|K REL="S|
|000001a0| 54 59 4c 45 53 48 45 45 | 54 22 20 48 52 45 46 3d |TYLESHEE|T" HREF=|
|000001b0| 22 75 73 65 72 73 63 68 | 33 2e 63 73 73 22 3e 0a |"usersch|3.css">.|
|000001c0| 0a 3c 4c 49 4e 4b 20 52 | 45 4c 3d 22 6e 65 78 74 |.<LINK R|EL="next|
|000001d0| 22 20 48 52 45 46 3d 22 | 6e 6f 64 65 37 5f 6d 6e |" HREF="|node7_mn|
|000001e0| 2e 68 74 6d 6c 22 3e 0a | 3c 4c 49 4e 4b 20 52 45 |.html">.|<LINK RE|
|000001f0| 4c 3d 22 70 72 65 76 69 | 6f 75 73 22 20 48 52 45 |L="previ|ous" HRE|
|00000200| 46 3d 22 6e 6f 64 65 35 | 5f 6d 6e 2e 68 74 6d 6c |F="node5|_mn.html|
|00000210| 22 3e 0a 3c 4c 49 4e 4b | 20 52 45 4c 3d 22 75 70 |">.<LINK| REL="up|
|00000220| 22 20 48 52 45 46 3d 22 | 6e 6f 64 65 31 5f 6d 6e |" HREF="|node1_mn|
|00000230| 2e 68 74 6d 6c 22 3e 0a | 3c 4c 49 4e 4b 20 52 45 |.html">.|<LINK RE|
|00000240| 4c 3d 22 6e 65 78 74 22 | 20 48 52 45 46 3d 22 6e |L="next"| HREF="n|
|00000250| 6f 64 65 37 5f 6d 6e 2e | 68 74 6d 6c 22 3e 0a 3c |ode7_mn.|html">.<|
|00000260| 2f 48 45 41 44 3e 0a 20 | 0a 3c 42 4f 44 59 20 62 |/HEAD>. |.<BODY b|
|00000270| 67 63 6f 6c 6f 72 3d 22 | 23 66 66 66 66 66 66 22 |gcolor="|#ffffff"|
|00000280| 20 74 65 78 74 3d 22 23 | 30 30 30 30 30 30 22 20 | text="#|000000" |
|00000290| 6c 69 6e 6b 3d 22 23 39 | 39 34 34 45 45 22 20 76 |link="#9|944EE" v|
|000002a0| 6c 69 6e 6b 3d 22 23 30 | 30 30 30 66 66 22 20 61 |link="#0|000ff" a|
|000002b0| 6c 69 6e 6b 3d 22 23 30 | 30 66 66 30 30 22 3e 0a |link="#0|0ff00">.|
|000002c0| 0a 3c 48 31 3e 3c 41 20 | 49 44 3d 22 53 45 43 54 |.<H1><A |ID="SECT|
|000002d0| 49 4f 4e 30 30 31 35 30 | 30 30 30 30 30 30 30 30 |ION00150|00000000|
|000002e0| 30 30 30 30 30 30 30 22 | 3e 0a 46 75 6e 63 74 69 |0000000"|>.Functi|
|000002f0| 6f 6e 73 20 72 65 6c 61 | 74 65 64 20 74 6f 20 65 |ons rela|ted to e|
|00000300| 6c 6c 69 70 74 69 63 20 | 63 75 72 76 65 73 2e 3c |lliptic |curves.<|
|00000310| 2f 41 3e 0a 3c 2f 48 31 | 3e 0a 0a 3c 50 3e 0a 57 |/A>.</H1|>..<P>.W|
|00000320| 65 20 68 61 76 65 20 69 | 6d 70 6c 65 6d 65 6e 74 |e have i|mplement|
|00000330| 65 64 20 61 20 6e 75 6d | 62 65 72 20 6f 66 20 66 |ed a num|ber of f|
|00000340| 75 6e 63 74 69 6f 6e 73 | 20 77 68 69 63 68 20 61 |unctions| which a|
|00000350| 72 65 20 75 73 65 66 75 | 6c 20 66 6f 72 20 6e 75 |re usefu|l for nu|
|00000360| 6d 62 65 72 0a 74 68 65 | 6f 72 69 73 74 73 20 77 |mber.the|orists w|
|00000370| 6f 72 6b 69 6e 67 20 6f | 6e 20 65 6c 6c 69 70 74 |orking o|n ellipt|
|00000380| 69 63 20 63 75 72 76 65 | 73 2e 20 57 65 20 61 6c |ic curve|s. We al|
|00000390| 77 61 79 73 20 75 73 65 | 20 54 61 74 65 27 73 20 |ways use| Tate's |
|000003a0| 6e 6f 74 61 74 69 6f 6e | 73 2e 0a 0a 3c 50 3e 0a |notation|s...<P>.|
|000003b0| 54 68 65 20 66 75 6e 63 | 74 69 6f 6e 73 20 61 73 |The func|tions as|
|000003c0| 73 75 6d 65 20 74 68 61 | 74 20 74 68 65 20 63 75 |sume tha|t the cu|
|000003d0| 72 76 65 20 69 73 20 67 | 69 76 65 6e 20 62 79 20 |rve is g|iven by |
|000003e0| 61 20 67 65 6e 65 72 61 | 6c 20 57 65 69 65 72 73 |a genera|l Weiers|
|000003f0| 74 72 61 73 73 20 6d 6f | 64 65 6c 0a 0a 3c 50 3e |trass mo|del..<P>|
|00000400| 0a 3c 50 3e 3c 21 2d 2d | 20 4d 41 54 48 0a 20 5c |.<P><!--| MATH. \|
|00000410| 62 65 67 69 6e 7b 64 69 | 73 70 6c 61 79 6d 61 74 |begin{di|splaymat|
|00000420| 68 7d 0a 79 5e 32 2b 61 | 5f 31 78 79 2b 61 5f 33 |h}.y^2+a|_1xy+a_3|
|00000430| 79 3d 78 5e 33 2b 61 5f | 32 78 5e 32 2b 61 5f 34 |y=x^3+a_|2x^2+a_4|
|00000440| 78 2b 61 5f 36 2c 0a 5c | 65 6e 64 7b 64 69 73 70 |x+a_6,.\|end{disp|
|00000450| 6c 61 79 6d 61 74 68 7d | 0a 20 2d 2d 3e 0a 3c 2f |laymath}|. -->.</|
|00000460| 50 3e 0a 3c 44 49 56 20 | 41 4c 49 47 4e 3d 22 43 |P>.<DIV |ALIGN="C|
|00000470| 45 4e 54 45 52 22 3e 0a | 3c 49 3e 79 3c 2f 49 3e |ENTER">.|<I>y</I>|
|00000480| 3c 53 55 50 3e 32 3c 2f | 53 55 50 3e 20 2b 20 3c |<SUP>2</|SUP> + <|
|00000490| 49 3e 61 3c 2f 49 3e 3c | 53 55 42 3e 31 3c 2f 53 |I>a</I><|SUB>1</S|
|000004a0| 55 42 3e 3c 49 3e 78 79 | 3c 2f 49 3e 20 2b 20 3c |UB><I>xy|</I> + <|
|000004b0| 49 3e 61 3c 2f 49 3e 3c | 53 55 42 3e 33 3c 2f 53 |I>a</I><|SUB>3</S|
|000004c0| 55 42 3e 3c 49 3e 79 3c | 2f 49 3e 20 3d 20 3c 49 |UB><I>y<|/I> = <I|
|000004d0| 3e 78 3c 2f 49 3e 3c 53 | 55 50 3e 33 3c 2f 53 55 |>x</I><S|UP>3</SU|
|000004e0| 50 3e 20 2b 20 3c 49 3e | 61 3c 2f 49 3e 3c 53 55 |P> + <I>|a</I><SU|
|000004f0| 42 3e 32 3c 2f 53 55 42 | 3e 3c 49 3e 78 3c 2f 49 |B>2</SUB|><I>x</I|
|00000500| 3e 3c 53 55 50 3e 32 3c | 2f 53 55 50 3e 20 2b 20 |><SUP>2<|/SUP> + |
|00000510| 3c 49 3e 61 3c 2f 49 3e | 3c 53 55 42 3e 34 3c 2f |<I>a</I>|<SUB>4</|
|00000520| 53 55 42 3e 3c 49 3e 78 | 3c 2f 49 3e 20 2b 20 3c |SUB><I>x|</I> + <|
|00000530| 49 3e 61 3c 2f 49 3e 3c | 53 55 42 3e 36 3c 2f 53 |I>a</I><|SUB>6</S|
|00000540| 55 42 3e 2c 0a 3c 2f 44 | 49 56 3e 3c 50 3e 3c 2f |UB>,.</D|IV><P></|
|00000550| 50 3e 0a 0a 3c 50 3e 0a | 77 68 65 72 65 20 61 20 |P>..<P>.|where a |
|00000560| 70 72 69 6f 72 69 20 74 | 68 65 20 3c 49 3e 61 3c |priori t|he <I>a<|
|00000570| 2f 49 3e 3c 53 55 42 3e | 69 3c 2f 53 55 42 3e 20 |/I><SUB>|i</SUB> |
|00000580| 63 61 6e 20 62 65 20 6f | 66 20 61 6e 79 20 73 63 |can be o|f any sc|
|00000590| 61 6c 61 72 20 74 79 70 | 65 2e 20 54 68 69 73 20 |alar typ|e. This |
|000005a0| 63 75 72 76 65 20 63 61 | 6e 20 62 65 20 0a 63 6f |curve ca|n be .co|
|000005b0| 6e 73 69 64 65 72 65 64 | 20 61 73 20 61 20 66 69 |nsidered| as a fi|
|000005c0| 76 65 20 63 6f 6d 70 6f | 6e 65 6e 74 20 76 65 63 |ve compo|nent vec|
|000005d0| 74 6f 72 20 3c 54 54 3e | 65 3d 5b 61 31 2c 61 32 |tor <TT>|e=[a1,a2|
|000005e0| 2c 61 33 2c 61 34 2c 61 | 36 5d 3c 2f 54 54 3e 2c |,a3,a4,a|6]</TT>,|
|000005f0| 20 62 75 74 0a 66 6f 72 | 20 6d 6f 73 74 20 66 75 | but.for| most fu|
|00000600| 6e 63 74 69 6f 6e 73 20 | 69 74 20 69 73 20 75 73 |nctions |it is us|
|00000610| 65 66 75 6c 20 74 6f 20 | 68 61 76 65 20 61 74 20 |eful to |have at |
|00000620| 6f 6e 65 27 73 20 64 69 | 73 70 6f 73 61 6c 20 6d |one's di|sposal m|
|00000630| 6f 72 65 0a 69 6e 66 6f | 72 6d 61 74 69 6f 6e 2e |ore.info|rmation.|
|00000640| 20 54 68 69 73 20 69 73 | 20 67 69 76 65 6e 20 65 | This is| given e|
|00000650| 69 74 68 65 72 20 62 79 | 20 74 68 65 20 66 75 6e |ither by| the fun|
|00000660| 63 74 69 6f 6e 20 3c 54 | 54 3e 69 6e 69 74 65 6c |ction <T|T>initel|
|00000670| 6c 3c 2f 54 54 3e 20 28 | 73 65 65 20 62 65 6c 6f |l</TT> (|see belo|
|00000680| 77 29 2c 0a 77 68 69 63 | 68 20 67 69 76 65 73 20 |w),.whic|h gives |
|00000690| 61 20 31 39 20 63 6f 6d | 70 6f 6e 65 6e 74 20 76 |a 19 com|ponent v|
|000006a0| 65 63 74 6f 72 20 28 77 | 68 69 63 68 20 77 65 20 |ector (w|hich we |
|000006b0| 77 69 6c 6c 20 63 61 6c | 6c 20 61 20 6c 6f 6e 67 |will cal|l a long|
|000006c0| 20 76 65 63 74 6f 72 20 | 69 6e 20 74 68 69 73 0a | vector |in this.|
|000006d0| 73 65 63 74 69 6f 6e 29 | 2c 20 6f 72 20 62 79 20 |section)|, or by |
|000006e0| 74 68 65 20 66 61 73 74 | 65 72 20 66 75 6e 63 74 |the fast|er funct|
|000006f0| 69 6f 6e 20 3c 54 54 3e | 73 6d 61 6c 6c 69 6e 69 |ion <TT>|smallini|
|00000700| 74 65 6c 6c 3c 2f 54 54 | 3e 0a 77 68 69 63 68 20 |tell</TT|>.which |
|00000710| 67 69 76 65 73 20 61 20 | 31 33 20 63 6f 6d 70 6f |gives a |13 compo|
|00000720| 6e 65 6e 74 20 76 65 63 | 74 6f 72 20 28 77 68 69 |nent vec|tor (whi|
|00000730| 63 68 20 77 65 20 77 69 | 6c 6c 20 63 61 6c 6c 20 |ch we wi|ll call |
|00000740| 61 20 6d 65 64 69 75 6d | 20 76 65 63 74 6f 72 29 |a medium| vector)|
|00000750| 2c 20 61 6c 6c 20 0a 74 | 68 65 73 65 20 76 65 63 |, all .t|hese vec|
|00000760| 74 6f 72 73 20 73 74 61 | 72 74 69 6e 67 20 69 6e |tors sta|rting in|
|00000770| 20 74 68 65 20 73 61 6d | 65 20 77 61 79 2e 0a 43 | the sam|e way..C|
|00000780| 6f 6e 73 65 71 75 65 6e | 74 6c 79 2c 20 69 6e 20 |onsequen|tly, in |
|00000790| 66 75 6e 63 74 69 6f 6e | 73 20 77 68 69 63 68 20 |function|s which |
|000007a0| 64 6f 20 6e 6f 74 20 75 | 73 65 20 74 68 65 20 65 |do not u|se the e|
|000007b0| 78 74 72 61 20 69 6e 66 | 6f 72 6d 61 74 69 6f 6e |xtra inf|ormation|
|000007c0| 20 67 69 76 65 6e 0a 62 | 79 20 3c 54 54 3e 69 6e | given.b|y <TT>in|
|000007d0| 69 74 65 6c 6c 3c 2f 54 | 54 3e 2c 20 74 68 65 20 |itell</T|T>, the |
|000007e0| 63 75 72 76 65 20 63 61 | 6e 20 62 65 20 67 69 76 |curve ca|n be giv|
|000007f0| 65 6e 20 65 69 74 68 65 | 72 20 61 73 20 61 20 66 |en eithe|r as a f|
|00000800| 69 76 65 20 63 6f 6d 70 | 6f 6e 65 6e 74 0a 76 65 |ive comp|onent.ve|
|00000810| 63 74 6f 72 2c 20 6f 72 | 20 62 79 20 6f 6e 65 20 |ctor, or| by one |
|00000820| 6f 66 20 74 68 65 20 6c | 6f 6e 67 65 72 20 76 65 |of the l|onger ve|
|00000830| 63 74 6f 72 73 20 63 6f | 6d 70 75 74 65 64 20 62 |ctors co|mputed b|
|00000840| 79 20 3c 54 54 3e 69 6e | 69 74 65 6c 6c 3c 2f 54 |y <TT>in|itell</T|
|00000850| 54 3e 20 6f 72 0a 3c 54 | 54 3e 73 6d 61 6c 6c 69 |T> or.<T|T>smalli|
|00000860| 6e 69 74 65 6c 6c 3c 2f | 54 54 3e 2e 0a 0a 3c 50 |nitell</|TT>...<P|
|00000870| 3e 0a 4f 74 68 65 72 20 | 66 75 6e 63 74 69 6f 6e |>.Other |function|
|00000880| 73 2c 20 69 6e 20 70 61 | 72 74 69 63 75 6c 61 72 |s, in pa|rticular|
|00000890| 20 74 68 6f 73 65 20 72 | 65 6c 61 74 69 76 65 20 | those r|elative |
|000008a0| 74 6f 20 68 65 69 67 68 | 74 20 63 6f 6d 70 75 74 |to heigh|t comput|
|000008b0| 61 74 69 6f 6e 73 0a 28 | 73 65 65 20 3c 54 54 3e |ations.(|see <TT>|
|000008c0| 68 65 6c 6c 3c 2f 54 54 | 3e 20 62 65 6c 6f 77 29 |hell</TT|> below)|
|000008d0| 20 72 65 71 75 69 72 65 | 20 61 6c 73 6f 20 74 68 | require| also th|
|000008e0| 61 74 20 74 68 65 20 63 | 75 72 76 65 20 62 65 20 |at the c|urve be |
|000008f0| 69 6e 20 6d 69 6e 69 6d | 61 6c 0a 57 65 69 65 72 |in minim|al.Weier|
|00000900| 73 74 72 61 73 73 20 66 | 6f 72 6d 2e 20 54 68 69 |strass f|orm. Thi|
|00000910| 73 20 69 73 20 61 63 68 | 69 65 76 65 64 20 62 79 |s is ach|ieved by|
|00000920| 20 74 68 65 20 66 75 6e | 63 74 69 6f 6e 20 3c 54 | the fun|ction <T|
|00000930| 54 3e 67 6c 6f 62 61 6c | 72 65 64 3c 2f 54 54 3e |T>global|red</TT>|
|00000940| 0a 62 65 6c 6f 77 2e 0a | 0a 3c 50 3e 0a 50 6f 69 |.below..|.<P>.Poi|
|00000950| 6e 74 73 20 6f 6e 20 65 | 6c 6c 69 70 74 69 63 20 |nts on e|lliptic |
|00000960| 63 75 72 76 65 73 20 61 | 72 65 20 72 65 70 72 65 |curves a|re repre|
|00000970| 73 65 6e 74 65 64 20 61 | 73 20 74 77 6f 20 63 6f |sented a|s two co|
|00000980| 6d 70 6f 6e 65 6e 74 20 | 76 65 63 74 6f 72 73 0a |mponent |vectors.|
|00000990| 3c 54 54 3e 5b 78 2c 79 | 5d 3c 2f 54 54 3e 2c 20 |<TT>[x,y|]</TT>, |
|000009a0| 65 78 63 65 70 74 20 66 | 6f 72 20 74 68 65 20 70 |except f|or the p|
|000009b0| 6f 69 6e 74 20 61 74 20 | 69 6e 66 69 6e 69 74 79 |oint at |infinity|
|000009c0| 2c 20 69 2e 65 2e 20 74 | 68 65 20 69 64 65 6e 74 |, i.e. t|he ident|
|000009d0| 69 74 79 20 65 6c 65 6d | 65 6e 74 0a 6f 66 20 74 |ity elem|ent.of t|
|000009e0| 68 65 20 67 72 6f 75 70 | 20 6c 61 77 2c 20 72 65 |he group| law, re|
|000009f0| 70 72 65 73 65 6e 74 65 | 64 20 62 79 20 74 68 65 |presente|d by the|
|00000a00| 20 6f 6e 65 2d 63 6f 6d | 70 6f 6e 65 6e 74 20 76 | one-com|ponent v|
|00000a10| 65 63 74 6f 72 20 3c 54 | 54 3e 5b 30 5d 3c 2f 54 |ector <T|T>[0]</T|
|00000a20| 54 3e 2e 0a 0a 3c 50 3e | 0a 61 64 64 65 6c 6c 28 |T>...<P>|.addell(|
|00000a30| 3c 49 3e 65 3c 2f 49 3e | 2c 20 3c 49 3e 7a 3c 2f |<I>e</I>|, <I>z</|
|00000a40| 49 3e 31 2c 20 3c 49 3e | 7a 3c 2f 49 3e 32 29 3a |I>1, <I>|z</I>2):|
|00000a50| 20 73 75 6d 20 6f 66 20 | 74 68 65 20 70 6f 69 6e | sum of |the poin|
|00000a60| 74 73 20 3c 49 3e 7a 3c | 2f 49 3e 31 20 61 6e 64 |ts <I>z<|/I>1 and|
|00000a70| 20 3c 49 3e 7a 3c 2f 49 | 3e 32 20 6f 6e 20 74 68 | <I>z</I|>2 on th|
|00000a80| 65 0a 65 6c 6c 69 70 74 | 69 63 20 63 75 72 76 65 |e.ellipt|ic curve|
|00000a90| 20 63 6f 72 72 65 73 70 | 6f 6e 64 69 6e 67 20 74 | corresp|onding t|
|00000aa0| 6f 20 74 68 65 20 76 65 | 63 74 6f 72 20 3c 49 3e |o the ve|ctor <I>|
|00000ab0| 65 3c 2f 49 3e 2e 0a 0a | 3c 50 3e 0a 54 68 65 20 |e</I>...|<P>.The |
|00000ac0| 6c 69 62 72 61 72 79 20 | 73 79 6e 74 61 78 20 69 |library |syntax i|
|00000ad0| 73 20 3c 21 2d 2d 20 4d | 41 54 48 0a 20 24 5c 74 |s <!-- M|ATH. $\t|
|00000ae0| 65 62 7b 61 64 64 65 6c | 6c 7d 28 65 2c 7a 31 2c |eb{addel|l}(e,z1,|
|00000af0| 7a 32 29 24 0a 20 2d 2d | 3e 0a 3c 49 4d 47 0a 20 |z2)$. --|>.<IMG. |
|00000b00| 53 54 59 4c 45 3d 22 68 | 65 69 67 68 74 3a 20 31 |STYLE="h|eight: 1|
|00000b10| 39 36 2e 32 35 65 78 3b | 20 76 65 72 74 69 63 61 |96.25ex;| vertica|
|00000b20| 6c 2d 61 6c 69 67 6e 3a | 20 2d 30 2e 31 32 65 78 |l-align:| -0.12ex|
|00000b30| 3b 20 22 20 53 52 43 3d | 22 69 6d 67 31 2e 70 6e |; " SRC=|"img1.pn|
|00000b40| 67 22 0a 20 41 4c 54 3d | 22 24 5c 74 65 62 24 22 |g". ALT=|"$\teb$"|
|00000b50| 3e 3c 49 3e 61 64 64 65 | 6c 6c 3c 2f 49 3e 28 3c |><I>adde|ll</I>(<|
|00000b60| 49 3e 65 3c 2f 49 3e 2c | 20 3c 49 3e 7a 3c 2f 49 |I>e</I>,| <I>z</I|
|00000b70| 3e 31 2c 20 3c 49 3e 7a | 3c 2f 49 3e 32 29 2e 0a |>1, <I>z|</I>2)..|
|00000b80| 0a 3c 50 3e 0a 61 6e 65 | 6c 6c 28 3c 49 3e 65 3c |.<P>.ane|ll(<I>e<|
|00000b90| 2f 49 3e 2c 20 3c 49 3e | 6e 3c 2f 49 3e 29 3a 20 |/I>, <I>|n</I>): |
|00000ba0| 63 6f 6d 70 75 74 65 20 | 74 68 65 20 76 65 63 74 |compute |the vect|
|00000bb0| 6f 72 20 6f 66 20 74 68 | 65 20 66 69 72 73 74 20 |or of th|e first |
|00000bc0| 3c 49 3e 6e 3c 2f 49 3e | 20 3c 49 3e 61 3c 2f 49 |<I>n</I>| <I>a</I|
|00000bd0| 3e 3c 53 55 42 3e 6b 3c | 2f 53 55 42 3e 0a 63 6f |><SUB>k<|/SUB>.co|
|00000be0| 72 72 65 73 70 6f 6e 64 | 69 6e 67 20 74 6f 20 74 |rrespond|ing to t|
|00000bf0| 68 65 20 65 6c 6c 69 70 | 74 69 63 20 63 75 72 76 |he ellip|tic curv|
|00000c00| 65 20 3c 49 3e 65 3c 2f | 49 3e 2c 20 69 2e 65 2e |e <I>e</|I>, i.e.|
|00000c10| 20 69 6e 20 70 72 69 6e | 63 69 70 6c 65 20 63 6f | in prin|ciple co|
|00000c20| 65 66 66 69 63 69 65 6e | 74 73 20 6f 66 0a 61 20 |efficien|ts of.a |
|00000c30| 6e 65 77 66 6f 72 6d 20 | 6f 66 20 77 65 69 67 68 |newform |of weigh|
|00000c40| 74 20 32 20 61 73 73 75 | 6d 69 6e 67 20 54 61 6e |t 2 assu|ming Tan|
|00000c50| 69 79 61 6d 61 2d 57 65 | 69 6c 2e 20 3c 49 3e 65 |iyama-We|il. <I>e|
|00000c60| 3c 2f 49 3e 20 6d 75 73 | 74 20 62 65 20 61 20 6d |</I> mus|t be a m|
|00000c70| 65 64 69 75 6d 20 6f 72 | 20 6c 6f 6e 67 0a 76 65 |edium or| long.ve|
|00000c80| 63 74 6f 72 20 6f 66 20 | 74 68 65 20 74 79 70 65 |ctor of |the type|
|00000c90| 20 67 69 76 65 6e 20 62 | 79 20 3c 54 54 3e 73 6d | given b|y <TT>sm|
|00000ca0| 61 6c 6c 69 6e 69 74 65 | 6c 6c 3c 2f 54 54 3e 20 |allinite|ll</TT> |
|00000cb0| 6f 72 20 3c 54 54 3e 69 | 6e 69 74 65 6c 6c 3c 2f |or <TT>i|nitell</|
|00000cc0| 54 54 3e 2e 0a 0a 3c 50 | 3e 0a 54 68 65 20 6c 69 |TT>...<P|>.The li|
|00000cd0| 62 72 61 72 79 20 73 79 | 6e 74 61 78 20 69 73 20 |brary sy|ntax is |
|00000ce0| 3c 21 2d 2d 20 4d 41 54 | 48 0a 20 24 5c 74 65 62 |<!-- MAT|H. $\teb|
|00000cf0| 7b 61 6e 65 6c 6c 7d 28 | 65 2c 6e 29 24 0a 20 2d |{anell}(|e,n)$. -|
|00000d00| 2d 3e 0a 3c 49 4d 47 0a | 20 53 54 59 4c 45 3d 22 |->.<IMG.| STYLE="|
|00000d10| 68 65 69 67 68 74 3a 20 | 31 39 36 2e 32 35 65 78 |height: |196.25ex|
|00000d20| 3b 20 76 65 72 74 69 63 | 61 6c 2d 61 6c 69 67 6e |; vertic|al-align|
|00000d30| 3a 20 2d 30 2e 31 32 65 | 78 3b 20 22 20 53 52 43 |: -0.12e|x; " SRC|
|00000d40| 3d 22 69 6d 67 31 2e 70 | 6e 67 22 0a 20 41 4c 54 |="img1.p|ng". ALT|
|00000d50| 3d 22 24 5c 74 65 62 24 | 22 3e 3c 49 3e 61 6e 65 |="$\teb$|"><I>ane|
|00000d60| 6c 6c 3c 2f 49 3e 28 3c | 49 3e 65 3c 2f 49 3e 2c |ll</I>(<|I>e</I>,|
|00000d70| 20 3c 49 3e 6e 3c 2f 49 | 3e 29 2e 0a 0a 3c 50 3e | <I>n</I|>)...<P>|
|00000d80| 0a 61 70 65 6c 6c 28 3c | 49 3e 65 3c 2f 49 3e 2c |.apell(<|I>e</I>,|
|00000d90| 20 3c 49 3e 70 3c 2f 49 | 3e 29 3a 20 63 6f 6d 70 | <I>p</I|>): comp|
|00000da0| 75 74 65 20 74 68 65 20 | 3c 49 3e 61 3c 2f 49 3e |ute the |<I>a</I>|
|00000db0| 3c 53 55 42 3e 70 3c 2f | 53 55 42 3e 20 63 6f 72 |<SUB>p</|SUB> cor|
|00000dc0| 72 65 73 70 6f 6e 64 69 | 6e 67 20 74 6f 20 74 68 |respondi|ng to th|
|00000dd0| 65 0a 65 6c 6c 69 70 74 | 69 63 20 63 75 72 76 65 |e.ellipt|ic curve|
|00000de0| 20 3c 49 3e 65 3c 2f 49 | 3e 20 61 6e 64 20 74 68 | <I>e</I|> and th|
|00000df0| 65 20 70 72 69 6d 65 20 | 6e 75 6d 62 65 72 20 3c |e prime |number <|
|00000e00| 49 3e 70 3c 2f 49 3e 2c | 20 75 73 69 6e 67 20 74 |I>p</I>,| using t|
|00000e10| 68 65 20 62 61 62 79 2d | 73 74 65 70 20 67 69 61 |he baby-|step gia|
|00000e20| 6e 74 2d 73 74 65 70 0a | 6d 65 74 68 6f 64 20 61 |nt-step.|method a|
|00000e30| 6e 64 20 61 20 74 72 69 | 63 6b 20 64 75 65 20 74 |nd a tri|ck due t|
|00000e40| 6f 20 4d 65 73 74 72 65 | 2e 20 4e 6f 20 63 68 65 |o Mestre|. No che|
|00000e50| 63 6b 69 6e 67 20 69 73 | 20 64 6f 6e 65 20 74 68 |cking is| done th|
|00000e60| 61 74 0a 3c 49 3e 70 3c | 2f 49 3e 20 69 73 20 69 |at.<I>p<|/I> is i|
|00000e70| 6e 64 65 65 64 20 70 72 | 69 6d 65 2e 20 54 68 65 |ndeed pr|ime. The|
|00000e80| 20 6e 75 6d 62 65 72 20 | 6f 66 20 70 6f 69 6e 74 | number |of point|
|00000e90| 73 20 6f 66 20 3c 49 3e | 65 3c 2f 49 3e 20 6f 76 |s of <I>|e</I> ov|
|00000ea0| 65 72 20 3c 49 4d 47 0a | 20 53 54 59 4c 45 3d 22 |er <IMG.| STYLE="|
|00000eb0| 68 65 69 67 68 74 3a 20 | 31 2e 31 32 65 78 3b 20 |height: |1.12ex; |
|00000ec0| 76 65 72 74 69 63 61 6c | 2d 61 6c 69 67 6e 3a 20 |vertical|-align: |
|00000ed0| 31 37 38 2e 31 38 65 78 | 3b 20 22 20 53 52 43 3d |178.18ex|; " SRC=|
|00000ee0| 22 69 6d 67 34 2e 70 6e | 67 22 0a 20 41 4c 54 3d |"img4.pn|g". ALT=|
|00000ef0| 22 24 5c 42 62 62 24 22 | 3e 3c 49 3e 46 3c 2f 49 |"$\Bbb$"|><I>F</I|
|00000f00| 3e 3c 53 55 42 3e 70 3c | 2f 53 55 42 3e 20 69 73 |><SUB>p<|/SUB> is|
|00000f10| 0a 3c 49 3e 70 3c 2f 49 | 3e 20 2b 20 31 20 2d 20 |.<I>p</I|> + 1 - |
|00000f20| 3c 49 3e 61 3c 2f 49 3e | 3c 53 55 42 3e 70 3c 2f |<I>a</I>|<SUB>p</|
|00000f30| 53 55 42 3e 2e 20 3c 49 | 3e 65 3c 2f 49 3e 20 6d |SUB>. <I|>e</I> m|
|00000f40| 75 73 74 20 62 65 20 61 | 20 6d 65 64 69 75 6d 20 |ust be a| medium |
|00000f50| 6f 72 20 6c 6f 6e 67 20 | 76 65 63 74 6f 72 20 6f |or long |vector o|
|00000f60| 66 20 74 68 65 20 74 79 | 70 65 20 67 69 76 65 6e |f the ty|pe given|
|00000f70| 20 62 79 20 0a 3c 54 54 | 3e 73 6d 61 6c 6c 69 6e | by .<TT|>smallin|
|00000f80| 69 74 65 6c 6c 3c 2f 54 | 54 3e 20 6f 72 20 3c 54 |itell</T|T> or <T|
|00000f90| 54 3e 69 6e 69 74 65 6c | 6c 3c 2f 54 54 3e 2e 0a |T>initel|l</TT>..|
|00000fa0| 0a 3c 50 3e 0a 54 68 65 | 20 6c 69 62 72 61 72 79 |.<P>.The| library|
|00000fb0| 20 73 79 6e 74 61 78 20 | 69 73 20 3c 21 2d 2d 20 | syntax |is <!-- |
|00000fc0| 4d 41 54 48 0a 20 24 5c | 74 65 62 7b 61 70 65 6c |MATH. $\|teb{apel|
|00000fd0| 6c 7d 28 65 2c 70 29 24 | 0a 20 2d 2d 3e 0a 3c 49 |l}(e,p)$|. -->.<I|
|00000fe0| 4d 47 0a 20 53 54 59 4c | 45 3d 22 68 65 69 67 68 |MG. STYL|E="heigh|
|00000ff0| 74 3a 20 31 39 36 2e 32 | 35 65 78 3b 20 76 65 72 |t: 196.2|5ex; ver|
|00001000| 74 69 63 61 6c 2d 61 6c | 69 67 6e 3a 20 2d 30 2e |tical-al|ign: -0.|
|00001010| 31 32 65 78 3b 20 22 20 | 53 52 43 3d 22 69 6d 67 |12ex; " |SRC="img|
|00001020| 31 2e 70 6e 67 22 0a 20 | 41 4c 54 3d 22 24 5c 74 |1.png". |ALT="$\t|
|00001030| 65 62 24 22 3e 3c 49 3e | 61 70 65 6c 6c 3c 2f 49 |eb$"><I>|apell</I|
|00001040| 3e 28 3c 49 3e 65 3c 2f | 49 3e 2c 20 3c 49 3e 70 |>(<I>e</|I>, <I>p|
|00001050| 3c 2f 49 3e 29 2e 0a 0a | 3c 50 3e 0a 61 70 65 6c |</I>)...|<P>.apel|
|00001060| 6c 32 28 3c 49 3e 65 3c | 2f 49 3e 2c 20 3c 49 3e |l2(<I>e<|/I>, <I>|
|00001070| 70 3c 2f 49 3e 29 3a 20 | 63 6f 6d 70 75 74 65 20 |p</I>): |compute |
|00001080| 74 68 65 20 3c 49 3e 61 | 3c 2f 49 3e 3c 53 55 42 |the <I>a|</I><SUB|
|00001090| 3e 70 3c 2f 53 55 42 3e | 20 63 6f 72 72 65 73 70 |>p</SUB>| corresp|
|000010a0| 6f 6e 64 69 6e 67 20 74 | 6f 20 74 68 65 0a 65 6c |onding t|o the.el|
|000010b0| 6c 69 70 74 69 63 20 63 | 75 72 76 65 20 3c 49 3e |liptic c|urve <I>|
|000010c0| 65 3c 2f 49 3e 20 61 6e | 64 20 74 68 65 20 70 72 |e</I> an|d the pr|
|000010d0| 69 6d 65 20 6e 75 6d 62 | 65 72 20 3c 49 3e 70 3c |ime numb|er <I>p<|
|000010e0| 2f 49 3e 20 61 73 20 61 | 20 73 75 6d 20 6f 66 20 |/I> as a| sum of |
|000010f0| 6c 65 67 65 6e 64 72 65 | 20 73 79 6d 62 6f 6c 73 |legendre| symbols|
|00001100| 2e 0a 54 68 69 73 20 69 | 73 20 73 6c 6f 77 65 72 |..This i|s slower|
|00001110| 20 74 68 61 6e 20 3c 54 | 54 3e 61 70 65 6c 6c 3c | than <T|T>apell<|
|00001120| 2f 54 54 3e 20 61 73 20 | 73 6f 6f 6e 20 61 73 20 |/TT> as |soon as |
|00001130| 3c 49 3e 70 3c 2f 49 3e | 20 69 73 20 67 72 65 61 |<I>p</I>| is grea|
|00001140| 74 65 72 20 74 68 61 6e | 20 31 30 30 2c 20 73 61 |ter than| 100, sa|
|00001150| 79 2e 0a 3c 49 3e 65 3c | 2f 49 3e 20 6d 75 73 74 |y..<I>e<|/I> must|
|00001160| 20 62 65 20 61 20 6d 65 | 64 69 75 6d 20 6f 72 20 | be a me|dium or |
|00001170| 6c 6f 6e 67 20 76 65 63 | 74 6f 72 20 6f 66 20 74 |long vec|tor of t|
|00001180| 68 65 20 74 79 70 65 20 | 67 69 76 65 6e 20 62 79 |he type |given by|
|00001190| 20 3c 54 54 3e 73 6d 61 | 6c 6c 69 6e 69 74 65 6c | <TT>sma|llinitel|
|000011a0| 6c 3c 2f 54 54 3e 0a 6f | 72 20 3c 54 54 3e 69 6e |l</TT>.o|r <TT>in|
|000011b0| 69 74 65 6c 6c 3c 2f 54 | 54 3e 2e 0a 0a 3c 50 3e |itell</T|T>...<P>|
|000011c0| 0a 54 68 65 20 6c 69 62 | 72 61 72 79 20 73 79 6e |.The lib|rary syn|
|000011d0| 74 61 78 20 69 73 20 3c | 21 2d 2d 20 4d 41 54 48 |tax is <|!-- MATH|
|000011e0| 0a 20 24 5c 74 65 62 7b | 61 70 65 6c 6c 32 7d 28 |. $\teb{|apell2}(|
|000011f0| 65 2c 70 29 24 0a 20 2d | 2d 3e 0a 3c 49 4d 47 0a |e,p)$. -|->.<IMG.|
|00001200| 20 53 54 59 4c 45 3d 22 | 68 65 69 67 68 74 3a 20 | STYLE="|height: |
|00001210| 31 39 36 2e 32 35 65 78 | 3b 20 76 65 72 74 69 63 |196.25ex|; vertic|
|00001220| 61 6c 2d 61 6c 69 67 6e | 3a 20 2d 30 2e 31 32 65 |al-align|: -0.12e|
|00001230| 78 3b 20 22 20 53 52 43 | 3d 22 69 6d 67 31 2e 70 |x; " SRC|="img1.p|
|00001240| 6e 67 22 0a 20 41 4c 54 | 3d 22 24 5c 74 65 62 24 |ng". ALT|="$\teb$|
|00001250| 22 3e 3c 49 3e 61 70 65 | 6c 6c 3c 2f 49 3e 32 28 |"><I>ape|ll</I>2(|
|00001260| 3c 49 3e 65 3c 2f 49 3e | 2c 20 3c 49 3e 70 3c 2f |<I>e</I>|, <I>p</|
|00001270| 49 3e 29 2e 0a 0a 3c 50 | 3e 0a 63 68 65 6c 6c 28 |I>)...<P|>.chell(|
|00001280| 3c 49 3e 65 3c 2f 49 3e | 2c 20 3c 49 3e 76 3c 2f |<I>e</I>|, <I>v</|
|00001290| 49 3e 29 3a 20 63 68 61 | 6e 67 65 20 74 68 65 20 |I>): cha|nge the |
|000012a0| 64 61 74 61 20 66 6f 72 | 20 74 68 65 20 65 6c 6c |data for| the ell|
|000012b0| 69 70 74 69 63 20 63 75 | 72 76 65 20 3c 49 3e 65 |iptic cu|rve <I>e|
|000012c0| 3c 2f 49 3e 0a 62 79 20 | 63 68 61 6e 67 69 6e 67 |</I>.by |changing|
|000012d0| 20 74 68 65 20 63 6f 6f | 72 64 69 6e 61 74 65 73 | the coo|rdinates|
|000012e0| 20 75 73 69 6e 67 20 74 | 68 65 20 76 65 63 74 6f | using t|he vecto|
|000012f0| 72 20 3c 54 54 3e 76 3d | 5b 75 2c 72 2c 73 2c 74 |r <TT>v=|[u,r,s,t|
|00001300| 5d 3c 2f 54 54 3e 2c 20 | 69 2e 65 2e 0a 69 66 20 |]</TT>, |i.e..if |
|00001310| 3c 49 3e 78 27 3c 2f 49 | 3e 20 61 6e 64 20 3c 49 |<I>x'</I|> and <I|
|00001320| 3e 79 27 3c 2f 49 3e 20 | 61 72 65 20 74 68 65 20 |>y'</I> |are the |
|00001330| 6e 65 77 20 63 6f 6f 72 | 64 69 6e 61 74 65 73 2c |new coor|dinates,|
|00001340| 20 74 68 65 6e 20 3c 49 | 3e 78 3c 2f 49 3e 20 3d | then <I|>x</I> =|
|00001350| 20 3c 49 3e 75 3c 2f 49 | 3e 3c 53 55 50 3e 32 3c | <I>u</I|><SUP>2<|
|00001360| 2f 53 55 50 3e 3c 49 3e | 78 27 3c 2f 49 3e 20 2b |/SUP><I>|x'</I> +|
|00001370| 20 3c 49 3e 72 3c 2f 49 | 3e 2c 20 0a 3c 21 2d 2d | <I>r</I|>, .<!--|
|00001380| 20 4d 41 54 48 0a 20 24 | 79 3d 75 5e 33 79 27 2b | MATH. $|y=u^3y'+|
|00001390| 73 75 5e 32 78 27 2b 74 | 24 0a 20 2d 2d 3e 0a 3c |su^2x'+t|$. -->.<|
|000013a0| 49 3e 79 3c 2f 49 3e 20 | 3d 20 3c 49 3e 75 3c 2f |I>y</I> |= <I>u</|
|000013b0| 49 3e 3c 53 55 50 3e 33 | 3c 2f 53 55 50 3e 3c 49 |I><SUP>3|</SUP><I|
|000013c0| 3e 79 27 3c 2f 49 3e 20 | 2b 20 3c 49 3e 73 75 3c |>y'</I> |+ <I>su<|
|000013d0| 2f 49 3e 3c 53 55 50 3e | 32 3c 2f 53 55 50 3e 3c |/I><SUP>|2</SUP><|
|000013e0| 49 3e 78 27 3c 2f 49 3e | 20 2b 20 3c 49 3e 74 3c |I>x'</I>| + <I>t<|
|000013f0| 2f 49 3e 2e 20 54 68 65 | 20 76 65 63 74 6f 72 20 |/I>. The| vector |
|00001400| 3c 49 3e 65 3c 2f 49 3e | 20 6d 75 73 74 20 62 65 |<I>e</I>| must be|
|00001410| 20 61 20 6d 65 64 69 75 | 6d 20 6f 72 20 6c 6f 6e | a mediu|m or lon|
|00001420| 67 20 76 65 63 74 6f 72 | 20 6f 66 20 74 68 65 20 |g vector| of the |
|00001430| 74 79 70 65 0a 67 69 76 | 65 6e 20 62 79 20 3c 54 |type.giv|en by <T|
|00001440| 54 3e 73 6d 61 6c 6c 69 | 6e 69 74 65 6c 6c 3c 2f |T>smalli|nitell</|
|00001450| 54 54 3e 20 6f 72 20 3c | 54 54 3e 69 6e 69 74 65 |TT> or <|TT>inite|
|00001460| 6c 6c 3c 2f 54 54 3e 2e | 0a 0a 3c 50 3e 0a 54 68 |ll</TT>.|..<P>.Th|
|00001470| 65 20 6c 69 62 72 61 72 | 79 20 73 79 6e 74 61 78 |e librar|y syntax|
|00001480| 20 69 73 20 3c 21 2d 2d | 20 4d 41 54 48 0a 20 24 | is <!--| MATH. $|
|00001490| 5c 74 65 62 7b 63 6f 6f | 72 64 63 68 7d 28 65 2c |\teb{coo|rdch}(e,|
|000014a0| 76 29 24 0a 20 2d 2d 3e | 0a 3c 49 4d 47 0a 20 53 |v)$. -->|.<IMG. S|
|000014b0| 54 59 4c 45 3d 22 68 65 | 69 67 68 74 3a 20 31 39 |TYLE="he|ight: 19|
|000014c0| 36 2e 32 35 65 78 3b 20 | 76 65 72 74 69 63 61 6c |6.25ex; |vertical|
|000014d0| 2d 61 6c 69 67 6e 3a 20 | 2d 30 2e 31 32 65 78 3b |-align: |-0.12ex;|
|000014e0| 20 22 20 53 52 43 3d 22 | 69 6d 67 31 2e 70 6e 67 | " SRC="|img1.png|
|000014f0| 22 0a 20 41 4c 54 3d 22 | 24 5c 74 65 62 24 22 3e |". ALT="|$\teb$">|
|00001500| 3c 49 3e 63 6f 6f 72 64 | 63 68 3c 2f 49 3e 28 3c |<I>coord|ch</I>(<|
|00001510| 49 3e 65 3c 2f 49 3e 2c | 20 3c 49 3e 76 3c 2f 49 |I>e</I>,| <I>v</I|
|00001520| 3e 29 2e 0a 0a 3c 50 3e | 0a 63 68 70 74 65 6c 6c |>)...<P>|.chptell|
|00001530| 28 3c 49 3e 78 3c 2f 49 | 3e 2c 20 3c 49 3e 76 3c |(<I>x</I|>, <I>v<|
|00001540| 2f 49 3e 29 3a 20 63 68 | 61 6e 67 65 20 74 68 65 |/I>): ch|ange the|
|00001550| 20 63 6f 6f 72 64 69 6e | 61 74 65 73 20 6f 66 20 | coordin|ates of |
|00001560| 74 68 65 20 70 6f 69 6e | 74 20 6f 72 20 76 65 63 |the poin|t or vec|
|00001570| 74 6f 72 20 6f 66 0a 70 | 6f 69 6e 74 73 20 3c 49 |tor of.p|oints <I|
|00001580| 3e 78 3c 2f 49 3e 20 75 | 73 69 6e 67 20 74 68 65 |>x</I> u|sing the|
|00001590| 20 76 65 63 74 6f 72 20 | 3c 54 54 3e 76 3d 5b 75 | vector |<TT>v=[u|
|000015a0| 2c 72 2c 73 2c 74 5d 3c | 2f 54 54 3e 2c 20 69 2e |,r,s,t]<|/TT>, i.|
|000015b0| 65 2e 0a 69 66 20 3c 49 | 3e 78 27 3c 2f 49 3e 20 |e..if <I|>x'</I> |
|000015c0| 61 6e 64 20 3c 49 3e 79 | 27 3c 2f 49 3e 20 61 72 |and <I>y|'</I> ar|
|000015d0| 65 20 74 68 65 20 6e 65 | 77 20 63 6f 6f 72 64 69 |e the ne|w coordi|
|000015e0| 6e 61 74 65 73 2c 20 74 | 68 65 6e 20 3c 49 3e 78 |nates, t|hen <I>x|
|000015f0| 3c 2f 49 3e 20 3d 20 3c | 49 3e 75 3c 2f 49 3e 3c |</I> = <|I>u</I><|
|00001600| 53 55 50 3e 32 3c 2f 53 | 55 50 3e 3c 49 3e 78 27 |SUP>2</S|UP><I>x'|
|00001610| 3c 2f 49 3e 20 2b 20 3c | 49 3e 72 3c 2f 49 3e 2c |</I> + <|I>r</I>,|
|00001620| 20 0a 3c 21 2d 2d 20 4d | 41 54 48 0a 20 24 79 3d | .<!-- M|ATH. $y=|
|00001630| 75 5e 33 79 27 2b 73 75 | 5e 32 78 27 2b 74 24 0a |u^3y'+su|^2x'+t$.|
|00001640| 20 2d 2d 3e 0a 3c 49 3e | 79 3c 2f 49 3e 20 3d 20 | -->.<I>|y</I> = |
|00001650| 3c 49 3e 75 3c 2f 49 3e | 3c 53 55 50 3e 33 3c 2f |<I>u</I>|<SUP>3</|
|00001660| 53 55 50 3e 3c 49 3e 79 | 27 3c 2f 49 3e 20 2b 20 |SUP><I>y|'</I> + |
|00001670| 3c 49 3e 73 75 3c 2f 49 | 3e 3c 53 55 50 3e 32 3c |<I>su</I|><SUP>2<|
|00001680| 2f 53 55 50 3e 3c 49 3e | 78 27 3c 2f 49 3e 20 2b |/SUP><I>|x'</I> +|
|00001690| 20 3c 49 3e 74 3c 2f 49 | 3e 20 28 73 65 65 20 61 | <I>t</I|> (see a|
|000016a0| 6c 73 6f 20 3c 54 54 3e | 63 68 65 6c 6c 3c 2f 54 |lso <TT>|chell</T|
|000016b0| 54 3e 20 61 62 6f 76 65 | 29 2e 0a 0a 3c 50 3e 0a |T> above|)...<P>.|
|000016c0| 54 68 65 20 6c 69 62 72 | 61 72 79 20 73 79 6e 74 |The libr|ary synt|
|000016d0| 61 78 20 69 73 20 3c 21 | 2d 2d 20 4d 41 54 48 0a |ax is <!|-- MATH.|
|000016e0| 20 24 5c 74 65 62 7b 70 | 6f 69 6e 74 63 68 7d 28 | $\teb{p|ointch}(|
|000016f0| 78 2c 76 29 24 0a 20 2d | 2d 3e 0a 3c 49 4d 47 0a |x,v)$. -|->.<IMG.|
|00001700| 20 53 54 59 4c 45 3d 22 | 68 65 69 67 68 74 3a 20 | STYLE="|height: |
|00001710| 31 39 36 2e 32 35 65 78 | 3b 20 76 65 72 74 69 63 |196.25ex|; vertic|
|00001720| 61 6c 2d 61 6c 69 67 6e | 3a 20 2d 30 2e 31 32 65 |al-align|: -0.12e|
|00001730| 78 3b 20 22 20 53 52 43 | 3d 22 69 6d 67 31 2e 70 |x; " SRC|="img1.p|
|00001740| 6e 67 22 0a 20 41 4c 54 | 3d 22 24 5c 74 65 62 24 |ng". ALT|="$\teb$|
|00001750| 22 3e 3c 49 3e 70 6f 69 | 6e 74 63 68 3c 2f 49 3e |"><I>poi|ntch</I>|
|00001760| 28 3c 49 3e 78 3c 2f 49 | 3e 2c 20 3c 49 3e 76 3c |(<I>x</I|>, <I>v<|
|00001770| 2f 49 3e 29 2e 0a 0a 3c | 50 3e 0a 67 6c 6f 62 61 |/I>)...<|P>.globa|
|00001780| 6c 72 65 64 28 3c 49 3e | 65 3c 2f 49 3e 29 3a 20 |lred(<I>|e</I>): |
|00001790| 63 61 6c 63 75 6c 61 74 | 65 20 74 68 65 20 61 72 |calculat|e the ar|
|000017a0| 69 74 68 6d 65 74 69 63 | 20 63 6f 6e 64 75 63 74 |ithmetic| conduct|
|000017b0| 6f 72 20 61 6e 64 20 74 | 68 65 20 67 6c 6f 62 61 |or and t|he globa|
|000017c0| 6c 20 6d 69 6e 69 6d 61 | 6c 0a 6d 6f 64 65 6c 20 |l minima|l.model |
|000017d0| 6f 66 20 3c 49 3e 65 3c | 2f 49 3e 2e 20 48 65 72 |of <I>e<|/I>. Her|
|000017e0| 65 20 3c 49 3e 65 3c 2f | 49 3e 20 69 73 20 61 6e |e <I>e</|I> is an|
|000017f0| 20 65 6c 6c 69 70 74 69 | 63 20 63 75 72 76 65 20 | ellipti|c curve |
|00001800| 67 69 76 65 6e 20 62 79 | 20 61 20 6d 65 64 69 75 |given by| a mediu|
|00001810| 6d 20 6f 72 20 6c 6f 6e | 67 20 76 65 63 74 6f 72 |m or lon|g vector|
|00001820| 20 6f 66 20 74 68 65 0a | 74 79 70 65 20 67 69 76 | of the.|type giv|
|00001830| 65 6e 20 62 79 20 3c 54 | 54 3e 73 6d 61 6c 6c 69 |en by <T|T>smalli|
|00001840| 6e 69 74 65 6c 6c 3c 2f | 54 54 3e 20 6f 72 20 3c |nitell</|TT> or <|
|00001850| 54 54 3e 69 6e 69 74 65 | 6c 6c 3c 2f 54 54 3e 2c |TT>inite|ll</TT>,|
|00001860| 20 61 6e 64 20 69 73 20 | 73 75 70 70 6f 73 65 64 | and is |supposed|
|00001870| 20 74 6f 20 68 61 76 65 | 20 61 6c 6c 20 69 74 73 | to have| all its|
|00001880| 0a 63 6f 65 66 66 69 63 | 69 65 6e 74 73 20 3c 49 |.coeffic|ients <I|
|00001890| 3e 61 3c 2f 49 3e 3c 53 | 55 42 3e 69 3c 2f 53 55 |>a</I><S|UB>i</SU|
|000018a0| 42 3e 20 69 6e 20 3c 49 | 4d 47 0a 20 53 54 59 4c |B> in <I|MG. STYL|
|000018b0| 45 3d 22 68 65 69 67 68 | 74 3a 20 31 2e 31 32 65 |E="heigh|t: 1.12e|
|000018c0| 78 3b 20 76 65 72 74 69 | 63 61 6c 2d 61 6c 69 67 |x; verti|cal-alig|
|000018d0| 6e 3a 20 31 37 38 2e 31 | 38 65 78 3b 20 22 20 53 |n: 178.1|8ex; " S|
|000018e0| 52 43 3d 22 69 6d 67 34 | 2e 70 6e 67 22 0a 20 41 |RC="img4|.png". A|
|000018f0| 4c 54 3d 22 24 5c 42 62 | 62 24 22 3e 3c 49 3e 51 |LT="$\Bb|b$"><I>Q|
|00001900| 3c 2f 49 3e 2e 20 54 68 | 65 20 72 65 73 75 6c 74 |</I>. Th|e result|
|00001910| 20 69 73 20 61 20 32 20 | 63 6f 6d 70 6f 6e 65 6e | is a 2 |componen|
|00001920| 74 20 76 65 63 74 6f 72 | 20 5b 3c 49 3e 4e 3c 2f |t vector| [<I>N</|
|00001930| 49 3e 2c 20 3c 49 3e 76 | 3c 2f 49 3e 5d 2e 20 3c |I>, <I>v|</I>]. <|
|00001940| 49 3e 4e 3c 2f 49 3e 20 | 69 73 20 74 68 65 0a 61 |I>N</I> |is the.a|
|00001950| 72 69 74 68 6d 65 74 69 | 63 20 63 6f 6e 64 75 63 |rithmeti|c conduc|
|00001960| 74 6f 72 20 6f 66 20 74 | 68 65 20 63 75 72 76 65 |tor of t|he curve|
|00001970| 2c 20 3c 49 3e 76 3c 2f | 49 3e 20 69 73 20 69 74 |, <I>v</|I> is it|
|00001980| 73 65 6c 66 20 61 20 76 | 65 63 74 6f 72 20 3c 21 |self a v|ector <!|
|00001990| 2d 2d 20 4d 41 54 48 0a | 20 24 5b 75 2c 20 72 2c |-- MATH.| $[u, r,|
|000019a0| 20 73 2c 20 74 5d 24 0a | 20 2d 2d 3e 0a 5b 3c 49 | s, t]$.| -->.[<I|
|000019b0| 3e 75 3c 2f 49 3e 2c 20 | 3c 49 3e 72 3c 2f 49 3e |>u</I>, |<I>r</I>|
|000019c0| 2c 20 3c 49 3e 73 3c 2f | 49 3e 2c 20 3c 49 3e 74 |, <I>s</|I>, <I>t|
|000019d0| 3c 2f 49 3e 5d 20 77 69 | 74 68 20 72 61 74 69 6f |</I>] wi|th ratio|
|000019e0| 6e 61 6c 0a 63 6f 6d 70 | 6f 6e 65 6e 74 73 2e 20 |nal.comp|onents. |
|000019f0| 49 74 20 67 69 76 65 73 | 20 61 20 63 6f 6f 72 64 |It gives| a coord|
|00001a00| 69 6e 61 74 65 20 63 68 | 61 6e 67 65 20 66 6f 72 |inate ch|ange for|
|00001a10| 20 3c 49 3e 65 3c 2f 49 | 3e 20 6f 76 65 72 20 3c | <I>e</I|> over <|
|00001a20| 49 4d 47 0a 20 53 54 59 | 4c 45 3d 22 68 65 69 67 |IMG. STY|LE="heig|
|00001a30| 68 74 3a 20 31 2e 31 32 | 65 78 3b 20 76 65 72 74 |ht: 1.12|ex; vert|
|00001a40| 69 63 61 6c 2d 61 6c 69 | 67 6e 3a 20 31 37 38 2e |ical-ali|gn: 178.|
|00001a50| 31 38 65 78 3b 20 22 20 | 53 52 43 3d 22 69 6d 67 |18ex; " |SRC="img|
|00001a60| 34 2e 70 6e 67 22 0a 20 | 41 4c 54 3d 22 24 5c 42 |4.png". |ALT="$\B|
|00001a70| 62 62 24 22 3e 3c 49 3e | 51 3c 2f 49 3e 20 73 75 |bb$"><I>|Q</I> su|
|00001a80| 63 68 20 74 68 61 74 0a | 74 68 65 20 72 65 73 75 |ch that.|the resu|
|00001a90| 6c 74 69 6e 67 20 6d 6f | 64 65 6c 20 68 61 73 20 |lting mo|del has |
|00001aa0| 69 6e 74 65 67 72 61 6c | 20 63 6f 65 66 66 69 63 |integral| coeffic|
|00001ab0| 69 65 6e 74 73 2c 20 69 | 73 20 65 76 65 72 79 77 |ients, i|s everyw|
|00001ac0| 68 65 72 65 20 6d 69 6e | 69 6d 61 6c 2c 20 3c 49 |here min|imal, <I|
|00001ad0| 3e 61 3c 2f 49 3e 3c 53 | 55 42 3e 31 3c 2f 53 55 |>a</I><S|UB>1</SU|
|00001ae0| 42 3e 20 69 73 20 30 20 | 6f 72 20 31 2c 0a 3c 49 |B> is 0 |or 1,.<I|
|00001af0| 3e 61 3c 2f 49 3e 3c 53 | 55 42 3e 32 3c 2f 53 55 |>a</I><S|UB>2</SU|
|00001b00| 42 3e 20 69 73 20 30 2c | 20 31 20 6f 72 20 2d 31 |B> is 0,| 1 or -1|
|00001b10| 20 61 6e 64 20 3c 49 3e | 61 3c 2f 49 3e 3c 53 55 | and <I>|a</I><SU|
|00001b20| 42 3e 33 3c 2f 53 55 42 | 3e 20 69 73 20 30 20 6f |B>3</SUB|> is 0 o|
|00001b30| 72 20 31 2e 20 53 75 63 | 68 20 61 20 6d 6f 64 65 |r 1. Suc|h a mode|
|00001b40| 6c 20 69 73 20 75 6e 69 | 71 75 65 2c 20 61 6e 64 |l is uni|que, and|
|00001b50| 20 74 68 65 20 76 65 63 | 74 6f 72 20 3c 49 3e 76 | the vec|tor <I>v|
|00001b60| 3c 2f 49 3e 0a 69 73 20 | 75 6e 69 71 75 65 20 69 |</I>.is |unique i|
|00001b70| 66 20 77 65 20 73 70 65 | 63 69 66 79 20 74 68 61 |f we spe|cify tha|
|00001b80| 74 20 3c 49 3e 75 3c 2f | 49 3e 20 69 73 20 70 6f |t <I>u</|I> is po|
|00001b90| 73 69 74 69 76 65 2e 0a | 0a 3c 50 3e 0a 54 68 65 |sitive..|.<P>.The|
|00001ba0| 20 6c 69 62 72 61 72 79 | 20 73 79 6e 74 61 78 20 | library| syntax |
|00001bb0| 69 73 20 20 3c 21 2d 2d | 20 4d 41 54 48 0a 20 24 |is <!--| MATH. $|
|00001bc0| 5c 74 65 62 7b 67 6c 6f | 62 61 6c 72 65 64 75 63 |\teb{glo|balreduc|
|00001bd0| 74 69 6f 6e 7d 28 65 29 | 24 0a 20 2d 2d 3e 0a 3c |tion}(e)|$. -->.<|
|00001be0| 49 4d 47 0a 20 53 54 59 | 4c 45 3d 22 68 65 69 67 |IMG. STY|LE="heig|
|00001bf0| 68 74 3a 20 31 39 36 2e | 32 35 65 78 3b 20 76 65 |ht: 196.|25ex; ve|
|00001c00| 72 74 69 63 61 6c 2d 61 | 6c 69 67 6e 3a 20 2d 30 |rtical-a|lign: -0|
|00001c10| 2e 31 32 65 78 3b 20 22 | 20 53 52 43 3d 22 69 6d |.12ex; "| SRC="im|
|00001c20| 67 31 2e 70 6e 67 22 0a | 20 41 4c 54 3d 22 24 5c |g1.png".| ALT="$\|
|00001c30| 74 65 62 24 22 3e 3c 49 | 3e 67 6c 6f 62 61 6c 72 |teb$"><I|>globalr|
|00001c40| 65 64 75 63 74 69 6f 6e | 3c 2f 49 3e 28 3c 49 3e |eduction|</I>(<I>|
|00001c50| 65 3c 2f 49 3e 29 2e 0a | 0a 3c 50 3e 0a 68 65 6c |e</I>)..|.<P>.hel|
|00001c60| 6c 28 3c 49 3e 65 3c 2f | 49 3e 2c 20 3c 49 3e 7a |l(<I>e</|I>, <I>z|
|00001c70| 3c 2f 49 3e 29 3a 20 67 | 6c 6f 62 61 6c 20 3c 41 |</I>): g|lobal <A|
|00001c80| 20 48 52 45 46 3d 22 23 | 4e 5f 5f 32 33 33 5f 72 | HREF="#|N__233_r|
|00001c90| 6f 6e 2d 54 61 74 65 5f | 68 65 69 67 68 74 22 20 |on-Tate_|height" |
|00001ca0| 54 41 52 47 45 54 3d 22 | 5f 74 6f 70 22 3e 3c 49 |TARGET="|_top"><I|
|00001cb0| 4d 47 20 20 41 4c 54 3d | 22 5b 2a 5d 22 20 53 52 |MG ALT=|"[*]" SR|
|00001cc0| 43 3d 22 63 72 6f 73 73 | 72 65 66 2e 70 6e 67 22 |C="cross|ref.png"|
|00001cd0| 3e 3c 2f 41 3e 20 6f 66 | 20 74 68 65 0a 70 6f 69 |></A> of| the.poi|
|00001ce0| 6e 74 20 3c 49 3e 7a 3c | 2f 49 3e 20 6f 6e 20 74 |nt <I>z<|/I> on t|
|00001cf0| 68 65 20 65 6c 6c 69 70 | 74 69 63 20 63 75 72 76 |he ellip|tic curv|
|00001d00| 65 20 3c 49 3e 65 3c 2f | 49 3e 2e 20 54 68 65 20 |e <I>e</|I>. The |
|00001d10| 76 65 63 74 6f 72 20 3c | 49 3e 65 3c 2f 49 3e 20 |vector <|I>e</I> |
|00001d20| 6d 75 73 74 20 62 65 20 | 61 20 6c 6f 6e 67 20 76 |must be |a long v|
|00001d30| 65 63 74 6f 72 0a 6f 66 | 20 74 68 65 20 74 79 70 |ector.of| the typ|
|00001d40| 65 20 67 69 76 65 6e 20 | 62 79 20 3c 54 54 3e 69 |e given |by <TT>i|
|00001d50| 6e 69 74 65 6c 6c 3c 2f | 54 54 3e 2e 20 54 68 69 |nitell</|TT>. Thi|
|00001d60| 73 20 63 6f 6d 70 75 74 | 61 74 69 6f 6e 20 69 73 |s comput|ation is|
|00001d70| 20 64 6f 6e 65 20 75 73 | 69 6e 67 20 73 69 67 6d | done us|ing sigm|
|00001d80| 61 20 61 6e 64 20 0a 74 | 68 65 74 61 2d 66 75 6e |a and .t|heta-fun|
|00001d90| 63 74 69 6f 6e 73 20 61 | 6e 64 20 61 20 74 72 69 |ctions a|nd a tri|
|00001da0| 63 6b 20 64 75 65 20 74 | 6f 20 4a 2e 20 53 69 6c |ck due t|o J. Sil|
|00001db0| 76 65 72 6d 61 6e 2e 0a | 0a 3c 50 3e 0a 54 68 65 |verman..|.<P>.The|
|00001dc0| 20 6c 69 62 72 61 72 79 | 20 73 79 6e 74 61 78 20 | library| syntax |
|00001dd0| 69 73 20 3c 21 2d 2d 20 | 4d 41 54 48 0a 20 24 5c |is <!-- |MATH. $\|
|00001de0| 74 65 62 7b 67 68 65 6c | 6c 7d 28 65 2c 7a 2c 70 |teb{ghel|l}(e,z,p|
|00001df0| 72 65 63 29 24 0a 20 2d | 2d 3e 0a 3c 49 4d 47 0a |rec)$. -|->.<IMG.|
|00001e00| 20 53 54 59 4c 45 3d 22 | 68 65 69 67 68 74 3a 20 | STYLE="|height: |
|00001e10| 31 39 36 2e 32 35 65 78 | 3b 20 76 65 72 74 69 63 |196.25ex|; vertic|
|00001e20| 61 6c 2d 61 6c 69 67 6e | 3a 20 2d 30 2e 31 32 65 |al-align|: -0.12e|
|00001e30| 78 3b 20 22 20 53 52 43 | 3d 22 69 6d 67 31 2e 70 |x; " SRC|="img1.p|
|00001e40| 6e 67 22 0a 20 41 4c 54 | 3d 22 24 5c 74 65 62 24 |ng". ALT|="$\teb$|
|00001e50| 22 3e 3c 49 3e 67 68 65 | 6c 6c 3c 2f 49 3e 28 3c |"><I>ghe|ll</I>(<|
|00001e60| 49 3e 65 3c 2f 49 3e 2c | 20 3c 49 3e 7a 3c 2f 49 |I>e</I>,| <I>z</I|
|00001e70| 3e 2c 20 3c 49 3e 70 72 | 65 63 3c 2f 49 3e 29 2e |>, <I>pr|ec</I>).|
|00001e80| 20 54 68 65 20 61 72 63 | 68 69 6d 65 64 65 61 6e | The arc|himedean|
|00001e90| 20 63 6f 6e 74 72 69 62 | 75 74 69 6f 6e 0a 61 6c | contrib|ution.al|
|00001ea0| 6f 6e 65 20 69 73 20 67 | 69 76 65 6e 20 62 79 20 |one is g|iven by |
|00001eb0| 74 68 65 20 6c 69 62 72 | 61 72 79 20 66 75 6e 63 |the libr|ary func|
|00001ec0| 74 69 6f 6e 20 3c 21 2d | 2d 20 4d 41 54 48 0a 20 |tion <!-|- MATH. |
|00001ed0| 24 5c 74 65 62 7b 68 65 | 6c 6c 7d 28 65 2c 7a 2c |$\teb{he|ll}(e,z,|
|00001ee0| 70 72 65 63 29 24 0a 20 | 2d 2d 3e 0a 3c 49 4d 47 |prec)$. |-->.<IMG|
|00001ef0| 0a 20 53 54 59 4c 45 3d | 22 68 65 69 67 68 74 3a |. STYLE=|"height:|
|00001f00| 20 31 39 36 2e 32 35 65 | 78 3b 20 76 65 72 74 69 | 196.25e|x; verti|
|00001f10| 63 61 6c 2d 61 6c 69 67 | 6e 3a 20 2d 30 2e 31 32 |cal-alig|n: -0.12|
|00001f20| 65 78 3b 20 22 20 53 52 | 43 3d 22 69 6d 67 31 2e |ex; " SR|C="img1.|
|00001f30| 70 6e 67 22 0a 20 41 4c | 54 3d 22 24 5c 74 65 62 |png". AL|T="$\teb|
|00001f40| 24 22 3e 3c 49 3e 68 65 | 6c 6c 3c 2f 49 3e 28 3c |$"><I>he|ll</I>(<|
|00001f50| 49 3e 65 3c 2f 49 3e 2c | 20 3c 49 3e 7a 3c 2f 49 |I>e</I>,| <I>z</I|
|00001f60| 3e 2c 20 3c 49 3e 70 72 | 65 63 3c 2f 49 3e 29 2e |>, <I>pr|ec</I>).|
|00001f70| 20 0a 0a 3c 50 3e 0a 68 | 65 6c 6c 32 28 3c 49 3e | ..<P>.h|ell2(<I>|
|00001f80| 65 3c 2f 49 3e 2c 20 3c | 49 3e 7a 3c 2f 49 3e 29 |e</I>, <|I>z</I>)|
|00001f90| 3a 20 73 61 6d 65 20 61 | 73 20 3c 54 54 3e 68 65 |: same a|s <TT>he|
|00001fa0| 6c 6c 3c 2f 54 54 3e 2c | 20 65 78 63 65 70 74 20 |ll</TT>,| except |
|00001fb0| 74 68 61 74 20 74 68 65 | 20 61 6c 67 6f 72 69 74 |that the| algorit|
|00001fc0| 68 6d 20 75 73 65 64 0a | 69 73 20 54 61 74 65 27 |hm used.|is Tate'|
|00001fd0| 73 20 34 3c 53 55 50 3e | 6e 3c 2f 53 55 50 3e 20 |s 4<SUP>|n</SUP> |
|00001fe0| 61 6c 67 6f 72 69 74 68 | 6d 2c 20 61 6e 64 20 69 |algorith|m, and i|
|00001ff0| 73 20 6d 75 63 68 20 73 | 6c 6f 77 65 72 2e 20 0a |s much s|lower. .|
|00002000| 0a 3c 50 3e 0a 54 68 65 | 20 6c 69 62 72 61 72 79 |.<P>.The| library|
|00002010| 20 73 79 6e 74 61 78 20 | 69 73 20 3c 21 2d 2d 20 | syntax |is <!-- |
|00002020| 4d 41 54 48 0a 20 24 5c | 74 65 62 7b 67 68 65 6c |MATH. $\|teb{ghel|
|00002030| 6c 32 7d 28 65 2c 7a 2c | 70 72 65 63 29 24 0a 20 |l2}(e,z,|prec)$. |
|00002040| 2d 2d 3e 0a 3c 49 4d 47 | 0a 20 53 54 59 4c 45 3d |-->.<IMG|. STYLE=|
|00002050| 22 68 65 69 67 68 74 3a | 20 31 39 36 2e 32 35 65 |"height:| 196.25e|
|00002060| 78 3b 20 76 65 72 74 69 | 63 61 6c 2d 61 6c 69 67 |x; verti|cal-alig|
|00002070| 6e 3a 20 2d 30 2e 31 32 | 65 78 3b 20 22 20 53 52 |n: -0.12|ex; " SR|
|00002080| 43 3d 22 69 6d 67 31 2e | 70 6e 67 22 0a 20 41 4c |C="img1.|png". AL|
|00002090| 54 3d 22 24 5c 74 65 62 | 24 22 3e 3c 49 3e 67 68 |T="$\teb|$"><I>gh|
|000020a0| 65 6c 6c 3c 2f 49 3e 32 | 28 3c 49 3e 65 3c 2f 49 |ell</I>2|(<I>e</I|
|000020b0| 3e 2c 20 3c 49 3e 7a 3c | 2f 49 3e 2c 20 3c 49 3e |>, <I>z<|/I>, <I>|
|000020c0| 70 72 65 63 3c 2f 49 3e | 29 2e 0a 0a 3c 50 3e 0a |prec</I>|)...<P>.|
|000020d0| 69 6e 69 74 65 6c 6c 28 | 3c 49 3e 65 3c 2f 49 3e |initell(|<I>e</I>|
|000020e0| 29 3a 20 63 6f 6d 70 75 | 74 65 20 73 6f 6d 65 20 |): compu|te some |
|000020f0| 66 69 78 65 64 20 64 61 | 74 61 20 63 6f 6e 63 65 |fixed da|ta conce|
|00002100| 72 6e 69 6e 67 20 74 68 | 65 20 65 6c 6c 69 70 74 |rning th|e ellipt|
|00002110| 69 63 0a 63 75 72 76 65 | 20 67 69 76 65 6e 20 62 |ic.curve| given b|
|00002120| 79 20 74 68 65 20 66 69 | 76 65 20 63 6f 6d 70 6f |y the fi|ve compo|
|00002130| 6e 65 6e 74 20 76 65 63 | 74 6f 72 20 3c 49 3e 65 |nent vec|tor <I>e|
|00002140| 3c 2f 49 3e 2c 20 77 68 | 69 63 68 20 77 69 6c 6c |</I>, wh|ich will|
|00002150| 20 62 65 20 65 73 73 65 | 6e 74 69 61 6c 20 66 6f | be esse|ntial fo|
|00002160| 72 0a 6d 6f 73 74 20 66 | 75 72 74 68 65 72 20 63 |r.most f|urther c|
|00002170| 6f 6d 70 75 74 61 74 69 | 6f 6e 73 20 6f 6e 20 74 |omputati|ons on t|
|00002180| 68 65 20 63 75 72 76 65 | 2e 20 54 68 65 20 72 65 |he curve|. The re|
|00002190| 73 75 6c 74 20 69 73 20 | 61 20 31 39 2d 63 6f 6d |sult is |a 19-com|
|000021a0| 70 6f 6e 65 6e 74 0a 76 | 65 63 74 6f 72 20 45 20 |ponent.v|ector E |
|000021b0| 28 63 61 6c 6c 65 64 20 | 61 20 6c 6f 6e 67 20 76 |(called |a long v|
|000021c0| 65 63 74 6f 72 20 69 6e | 20 74 68 69 73 20 73 65 |ector in| this se|
|000021d0| 63 74 69 6f 6e 29 2c 20 | 63 6f 6e 74 61 69 6e 69 |ction), |containi|
|000021e0| 6e 67 20 74 68 65 20 66 | 6f 6c 6c 6f 77 69 6e 67 |ng the f|ollowing|
|000021f0| 0a 69 6e 66 6f 72 6d 61 | 74 69 6f 6e 3a 0a 0a 3c |.informa|tion:..<|
|00002200| 50 3e 0a 54 68 65 20 66 | 69 72 73 74 20 31 33 20 |P>.The f|irst 13 |
|00002210| 63 6f 6d 70 6f 6e 65 6e | 74 73 20 63 6f 6e 74 61 |componen|ts conta|
|00002220| 69 6e 0a 0a 3c 50 3e 0a | 3c 50 3e 3c 21 2d 2d 20 |in..<P>.|<P><!-- |
|00002230| 4d 41 54 48 0a 20 5c 62 | 65 67 69 6e 7b 64 69 73 |MATH. \b|egin{dis|
|00002240| 70 6c 61 79 6d 61 74 68 | 7d 0a 61 5f 31 2c 61 5f |playmath|}.a_1,a_|
|00002250| 32 2c 61 5f 33 2c 61 5f | 34 2c 61 5f 36 2c 62 5f |2,a_3,a_|4,a_6,b_|
|00002260| 32 2c 62 5f 34 2c 62 5f | 36 2c 62 5f 38 2c 63 5f |2,b_4,b_|6,b_8,c_|
|00002270| 34 2c 63 5f 36 2c 5c 44 | 65 6c 74 61 2c 6a 2e 0a |4,c_6,\D|elta,j..|
|00002280| 5c 65 6e 64 7b 64 69 73 | 70 6c 61 79 6d 61 74 68 |\end{dis|playmath|
|00002290| 7d 0a 20 2d 2d 3e 0a 3c | 2f 50 3e 0a 3c 44 49 56 |}. -->.<|/P>.<DIV|
|000022a0| 20 41 4c 49 47 4e 3d 22 | 43 45 4e 54 45 52 22 3e | ALIGN="|CENTER">|
|000022b0| 0a 3c 49 3e 61 3c 2f 49 | 3e 3c 53 55 42 3e 31 3c |.<I>a</I|><SUB>1<|
|000022c0| 2f 53 55 42 3e 2c 20 3c | 49 3e 61 3c 2f 49 3e 3c |/SUB>, <|I>a</I><|
|000022d0| 53 55 42 3e 32 3c 2f 53 | 55 42 3e 2c 20 3c 49 3e |SUB>2</S|UB>, <I>|
|000022e0| 61 3c 2f 49 3e 3c 53 55 | 42 3e 33 3c 2f 53 55 42 |a</I><SU|B>3</SUB|
|000022f0| 3e 2c 20 3c 49 3e 61 3c | 2f 49 3e 3c 53 55 42 3e |>, <I>a<|/I><SUB>|
|00002300| 34 3c 2f 53 55 42 3e 2c | 20 3c 49 3e 61 3c 2f 49 |4</SUB>,| <I>a</I|
|00002310| 3e 3c 53 55 42 3e 36 3c | 2f 53 55 42 3e 2c 20 3c |><SUB>6<|/SUB>, <|
|00002320| 49 3e 62 3c 2f 49 3e 3c | 53 55 42 3e 32 3c 2f 53 |I>b</I><|SUB>2</S|
|00002330| 55 42 3e 2c 20 3c 49 3e | 62 3c 2f 49 3e 3c 53 55 |UB>, <I>|b</I><SU|
|00002340| 42 3e 34 3c 2f 53 55 42 | 3e 2c 20 3c 49 3e 62 3c |B>4</SUB|>, <I>b<|
|00002350| 2f 49 3e 3c 53 55 42 3e | 36 3c 2f 53 55 42 3e 2c |/I><SUB>|6</SUB>,|
|00002360| 20 3c 49 3e 62 3c 2f 49 | 3e 3c 53 55 42 3e 38 3c | <I>b</I|><SUB>8<|
|00002370| 2f 53 55 42 3e 2c 20 3c | 49 3e 63 3c 2f 49 3e 3c |/SUB>, <|I>c</I><|
|00002380| 53 55 42 3e 34 3c 2f 53 | 55 42 3e 2c 20 3c 49 3e |SUB>4</S|UB>, <I>|
|00002390| 63 3c 2f 49 3e 3c 53 55 | 42 3e 36 3c 2f 53 55 42 |c</I><SU|B>6</SUB|
|000023a0| 3e 2c 20 3c 49 3e 26 23 | 39 31 36 3b 3c 2f 49 3e |>, <I>&#|916;</I>|
|000023b0| 2c 20 3c 49 3e 6a 3c 2f | 49 3e 2e 0a 3c 2f 44 49 |, <I>j</|I>..</DI|
|000023c0| 56 3e 3c 50 3e 3c 2f 50 | 3e 0a 0a 3c 50 3e 0a 49 |V><P></P|>..<P>.I|
|000023d0| 6e 20 70 61 72 74 69 63 | 75 6c 61 72 2c 20 74 68 |n partic|ular, th|
|000023e0| 65 20 64 69 73 63 72 69 | 6d 69 6e 61 6e 74 20 69 |e discri|minant i|
|000023f0| 73 20 3c 49 3e 45 3c 2f | 49 3e 5b 31 32 5d 2c 20 |s <I>E</|I>[12], |
|00002400| 61 6e 64 20 74 68 65 20 | 3c 49 3e 6a 3c 2f 49 3e |and the |<I>j</I>|
|00002410| 2d 69 6e 76 61 72 69 61 | 6e 74 20 69 73 0a 3c 49 |-invaria|nt is.<I|
|00002420| 3e 45 3c 2f 49 3e 5b 31 | 33 5d 2e 20 0a 0a 3c 50 |>E</I>[1|3]. ..<P|
|00002430| 3e 0a 46 6f 72 20 74 68 | 65 20 6f 74 68 65 72 20 |>.For th|e other |
|00002440| 73 69 78 20 63 6f 6d 70 | 6f 6e 65 6e 74 73 2c 20 |six comp|onents, |
|00002450| 74 68 65 69 72 20 63 6f | 6e 74 65 6e 74 20 64 65 |their co|ntent de|
|00002460| 70 65 6e 64 73 20 6f 6e | 20 77 68 65 74 68 65 72 |pends on| whether|
|00002470| 20 74 68 65 20 63 75 72 | 76 65 0a 69 73 20 64 65 | the cur|ve.is de|
|00002480| 66 69 6e 65 64 20 6f 76 | 65 72 20 3c 49 4d 47 0a |fined ov|er <IMG.|
|00002490| 20 53 54 59 4c 45 3d 22 | 68 65 69 67 68 74 3a 20 | STYLE="|height: |
|000024a0| 31 2e 31 32 65 78 3b 20 | 76 65 72 74 69 63 61 6c |1.12ex; |vertical|
|000024b0| 2d 61 6c 69 67 6e 3a 20 | 31 37 38 2e 31 38 65 78 |-align: |178.18ex|
|000024c0| 3b 20 22 20 53 52 43 3d | 22 69 6d 67 34 2e 70 6e |; " SRC=|"img4.pn|
|000024d0| 67 22 0a 20 41 4c 54 3d | 22 24 5c 42 62 62 24 22 |g". ALT=|"$\Bbb$"|
|000024e0| 3e 3c 49 3e 52 3c 2f 49 | 3e 20 6f 72 20 6e 6f 74 |><I>R</I|> or not|
|000024f0| 2e 0a 0a 3c 50 3e 3c 2f | 50 3e 0a 57 68 65 6e 20 |...<P></|P>.When |
|00002500| 3c 49 3e 65 3c 2f 49 3e | 20 69 73 20 64 65 66 69 |<I>e</I>| is defi|
|00002510| 6e 65 64 20 6f 76 65 72 | 20 3c 49 4d 47 0a 20 53 |ned over| <IMG. S|
|00002520| 54 59 4c 45 3d 22 68 65 | 69 67 68 74 3a 20 31 2e |TYLE="he|ight: 1.|
|00002530| 31 32 65 78 3b 20 76 65 | 72 74 69 63 61 6c 2d 61 |12ex; ve|rtical-a|
|00002540| 6c 69 67 6e 3a 20 31 37 | 38 2e 31 38 65 78 3b 20 |lign: 17|8.18ex; |
|00002550| 22 20 53 52 43 3d 22 69 | 6d 67 34 2e 70 6e 67 22 |" SRC="i|mg4.png"|
|00002560| 0a 20 41 4c 54 3d 22 24 | 5c 42 62 62 24 22 3e 3c |. ALT="$|\Bbb$"><|
|00002570| 49 3e 52 3c 2f 49 3e 2c | 20 3c 49 3e 45 3c 2f 49 |I>R</I>,| <I>E</I|
|00002580| 3e 5b 31 34 5d 20 69 73 | 20 61 20 76 65 63 74 6f |>[14] is| a vecto|
|00002590| 72 20 77 69 74 68 20 74 | 68 72 65 65 0a 63 6f 6d |r with t|hree.com|
|000025a0| 70 6f 6e 65 6e 74 73 20 | 63 6f 6e 74 61 69 6e 69 |ponents |containi|
|000025b0| 6e 67 20 74 68 65 20 72 | 6f 6f 74 73 20 6f 66 20 |ng the r|oots of |
|000025c0| 74 68 65 20 61 73 73 6f | 63 69 61 74 65 64 20 57 |the asso|ciated W|
|000025d0| 65 69 65 72 73 74 72 61 | 73 73 20 65 71 75 61 74 |eierstra|ss equat|
|000025e0| 69 6f 6e 2e 0a 49 66 20 | 74 68 65 20 72 6f 6f 74 |ion..If |the root|
|000025f0| 73 20 61 72 65 20 61 6c | 6c 20 72 65 61 6c 2c 20 |s are al|l real, |
|00002600| 74 68 65 6e 20 74 68 65 | 79 20 61 72 65 20 6f 72 |then the|y are or|
|00002610| 64 65 72 65 64 20 62 79 | 20 64 65 63 72 65 61 73 |dered by| decreas|
|00002620| 69 6e 67 20 76 61 6c 75 | 65 2e 0a 49 66 20 6f 6e |ing valu|e..If on|
|00002630| 6c 79 20 6f 6e 65 20 69 | 73 20 72 65 61 6c 2c 20 |ly one i|s real, |
|00002640| 69 74 20 69 73 20 74 68 | 65 20 66 69 72 73 74 20 |it is th|e first |
|00002650| 63 6f 6d 70 6f 6e 65 6e | 74 20 6f 66 20 3c 49 3e |componen|t of <I>|
|00002660| 45 3c 2f 49 3e 5b 31 34 | 5d 2e 0a 0a 3c 50 3e 0a |E</I>[14|]...<P>.|
|00002670| 3c 49 3e 45 3c 2f 49 3e | 5b 31 35 5d 20 69 73 20 |<I>E</I>|[15] is |
|00002680| 74 68 65 20 72 65 61 6c | 20 70 65 72 69 6f 64 20 |the real| period |
|00002690| 6f 66 20 3c 49 3e 45 3c | 2f 49 3e 20 28 69 6e 74 |of <I>E<|/I> (int|
|000026a0| 65 67 72 61 6c 20 6f 66 | 20 3c 21 2d 2d 20 4d 41 |egral of| <!-- MA|
|000026b0| 54 48 0a 20 24 64 78 2f | 28 32 79 2b 61 5f 31 78 |TH. $dx/|(2y+a_1x|
|000026c0| 2b 61 5f 33 29 24 0a 20 | 2d 2d 3e 0a 3c 49 3e 64 |+a_3)$. |-->.<I>d|
|000026d0| 78 3c 2f 49 3e 2f 28 32 | 3c 49 3e 79 3c 2f 49 3e |x</I>/(2|<I>y</I>|
|000026e0| 20 2b 20 3c 49 3e 61 3c | 2f 49 3e 3c 53 55 42 3e | + <I>a<|/I><SUB>|
|000026f0| 31 3c 2f 53 55 42 3e 3c | 49 3e 78 3c 2f 49 3e 20 |1</SUB><|I>x</I> |
|00002700| 2b 20 3c 49 3e 61 3c 2f | 49 3e 3c 53 55 42 3e 33 |+ <I>a</|I><SUB>3|
|00002710| 3c 2f 53 55 42 3e 29 20 | 6f 76 65 72 20 74 68 65 |</SUB>) |over the|
|00002720| 0a 63 6f 6e 6e 65 63 74 | 65 64 20 63 6f 6d 70 6f |.connect|ed compo|
|00002730| 6e 65 6e 74 20 6f 66 20 | 74 68 65 20 69 64 65 6e |nent of |the iden|
|00002740| 74 69 74 79 20 65 6c 65 | 6d 65 6e 74 20 6f 66 20 |tity ele|ment of |
|00002750| 74 68 65 20 72 65 61 6c | 20 70 6f 69 6e 74 73 20 |the real| points |
|00002760| 6f 66 20 74 68 65 0a 63 | 75 72 76 65 29 2c 20 61 |of the.c|urve), a|
|00002770| 6e 64 20 3c 49 3e 45 3c | 2f 49 3e 5b 31 36 5d 20 |nd <I>E<|/I>[16] |
|00002780| 69 73 20 61 20 63 6f 6d | 70 6c 65 78 20 70 65 72 |is a com|plex per|
|00002790| 69 6f 64 2e 20 49 6e 20 | 6f 74 68 65 72 20 77 6f |iod. In |other wo|
|000027a0| 72 64 73 2c 20 3c 21 2d | 2d 20 4d 41 54 48 0a 20 |rds, <!-|- MATH. |
|000027b0| 24 5c 6f 6d 65 67 61 5f | 31 3d 45 5b 31 35 5d 24 |$\omega_|1=E[15]$|
|000027c0| 0a 20 2d 2d 3e 0a 3c 49 | 3e 26 23 39 36 39 3b 3c |. -->.<I|>ω<|
|000027d0| 2f 49 3e 3c 53 55 42 3e | 31 3c 2f 53 55 42 3e 20 |/I><SUB>|1</SUB> |
|000027e0| 3d 20 3c 49 3e 45 3c 2f | 49 3e 5b 31 35 5d 0a 61 |= <I>E</|I>[15].a|
|000027f0| 6e 64 20 3c 21 2d 2d 20 | 4d 41 54 48 0a 20 24 5c |nd <!-- |MATH. $\|
|00002800| 6f 6d 65 67 61 5f 32 3d | 45 5b 31 36 5d 24 0a 20 |omega_2=|E[16]$. |
|00002810| 2d 2d 3e 0a 3c 49 3e 26 | 23 39 36 39 3b 3c 2f 49 |-->.<I>&|#969;</I|
|00002820| 3e 3c 53 55 42 3e 32 3c | 2f 53 55 42 3e 20 3d 20 |><SUB>2<|/SUB> = |
|00002830| 3c 49 3e 45 3c 2f 49 3e | 5b 31 36 5d 20 66 6f 72 |<I>E</I>|[16] for|
|00002840| 6d 20 61 20 62 61 73 69 | 73 20 6f 66 20 74 68 65 |m a basi|s of the|
|00002850| 20 63 6f 6d 70 6c 65 78 | 20 6c 61 74 74 69 63 65 | complex| lattice|
|00002860| 20 64 65 66 69 6e 69 6e | 67 20 3c 49 3e 65 3c 2f | definin|g <I>e</|
|00002870| 49 3e 2c 0a 77 69 74 68 | 20 3c 21 2d 2d 20 4d 41 |I>,.with| <!-- MA|
|00002880| 54 48 0a 20 24 5c 74 61 | 75 3d 5c 64 66 72 61 63 |TH. $\ta|u=\dfrac|
|00002890| 7b 5c 6f 6d 65 67 61 5f | 31 7d 7b 5c 6f 6d 65 67 |{\omega_|1}{\omeg|
|000028a0| 61 5f 32 7d 24 0a 20 2d | 2d 3e 0a 3c 49 3e 26 23 |a_2}$. -|->.<I>&#|
|000028b0| 39 36 34 3b 3c 2f 49 3e | 20 3d 20 3c 49 4d 47 0a |964;</I>| = <IMG.|
|000028c0| 20 53 54 59 4c 45 3d 22 | 68 65 69 67 68 74 3a 20 | STYLE="|height: |
|000028d0| 32 2e 33 38 65 78 3b 20 | 76 65 72 74 69 63 61 6c |2.38ex; |vertical|
|000028e0| 2d 61 6c 69 67 6e 3a 20 | 31 37 36 2e 35 30 65 78 |-align: |176.50ex|
|000028f0| 3b 20 22 20 53 52 43 3d | 22 69 6d 67 33 36 2e 70 |; " SRC=|"img36.p|
|00002900| 6e 67 22 0a 20 41 4c 54 | 3d 22 24 7b 5c 64 66 72 |ng". ALT|="${\dfr|
|00002910| 61 63 7b 7b 5c 6f 6d 65 | 67 61 5f 31 7d 7d 7b 7b |ac{{\ome|ga_1}}{{|
|00002920| 5c 6f 6d 65 67 61 5f 32 | 7d 7d 7d 24 22 3e 20 68 |\omega_2|}}}$"> h|
|00002930| 61 76 69 6e 67 20 70 6f | 73 69 74 69 76 65 20 69 |aving po|sitive i|
|00002940| 6d 61 67 69 6e 61 72 79 | 20 70 61 72 74 2e 0a 0a |maginary| part...|
|00002950| 3c 50 3e 0a 3c 49 3e 45 | 3c 2f 49 3e 5b 31 37 5d |<P>.<I>E|</I>[17]|
|00002960| 20 61 6e 64 20 3c 49 3e | 45 3c 2f 49 3e 5b 31 38 | and <I>|E</I>[18|
|00002970| 5d 20 61 72 65 20 74 68 | 65 20 63 6f 72 72 65 73 |] are th|e corres|
|00002980| 70 6f 6e 64 69 6e 67 20 | 76 61 6c 75 65 73 20 3c |ponding |values <|
|00002990| 49 3e 26 23 39 35 31 3b | 3c 2f 49 3e 3c 53 55 42 |I>η|</I><SUB|
|000029a0| 3e 31 3c 2f 53 55 42 3e | 20 61 6e 64 20 3c 49 3e |>1</SUB>| and <I>|
|000029b0| 26 23 39 35 31 3b 3c 2f | 49 3e 3c 53 55 42 3e 32 |η</|I><SUB>2|
|000029c0| 3c 2f 53 55 42 3e 0a 73 | 75 63 68 20 74 68 61 74 |</SUB>.s|uch that|
|000029d0| 20 3c 21 2d 2d 20 4d 41 | 54 48 0a 20 24 5c 65 74 | <!-- MA|TH. $\et|
|000029e0| 61 5f 31 5c 6f 6d 65 67 | 61 5f 32 2d 5c 65 74 61 |a_1\omeg|a_2-\eta|
|000029f0| 5f 32 5c 6f 6d 65 67 61 | 5f 31 3d 69 5c 70 69 24 |_2\omega|_1=i\pi$|
|00002a00| 0a 20 2d 2d 3e 0a 3c 49 | 3e 26 23 39 35 31 3b 3c |. -->.<I|>η<|
|00002a10| 2f 49 3e 3c 53 55 42 3e | 31 3c 2f 53 55 42 3e 3c |/I><SUB>|1</SUB><|
|00002a20| 49 3e 26 23 39 36 39 3b | 3c 2f 49 3e 3c 53 55 42 |I>ω|</I><SUB|
|00002a30| 3e 32 3c 2f 53 55 42 3e | 20 2d 20 3c 49 3e 26 23 |>2</SUB>| - <I>&#|
|00002a40| 39 35 31 3b 3c 2f 49 3e | 3c 53 55 42 3e 32 3c 2f |951;</I>|<SUB>2</|
|00002a50| 53 55 42 3e 3c 49 3e 26 | 23 39 36 39 3b 3c 2f 49 |SUB><I>&|#969;</I|
|00002a60| 3e 3c 53 55 42 3e 31 3c | 2f 53 55 42 3e 20 3d 20 |><SUB>1<|/SUB> = |
|00002a70| 3c 49 3e 69 26 23 39 36 | 30 3b 3c 2f 49 3e 2e 0a |<I>i`|0;</I>..|
|00002a80| 0a 3c 50 3e 0a 46 69 6e | 61 6c 6c 79 2c 20 3c 49 |.<P>.Fin|ally, <I|
|00002a90| 3e 45 3c 2f 49 3e 5b 31 | 39 5d 20 69 73 20 74 68 |>E</I>[1|9] is th|
|00002aa0| 65 20 76 6f 6c 75 6d 65 | 20 6f 66 20 74 68 65 20 |e volume| of the |
|00002ab0| 63 6f 6d 70 6c 65 78 20 | 6c 61 74 74 69 63 65 20 |complex |lattice |
|00002ac0| 64 65 66 69 6e 69 6e 67 | 20 3c 49 3e 65 3c 2f 49 |defining| <I>e</I|
|00002ad0| 3e 2e 0a 0a 3c 50 3e 3c | 2f 50 3e 0a 57 68 65 6e |>...<P><|/P>.When|
|00002ae0| 20 3c 49 3e 65 3c 2f 49 | 3e 20 69 73 20 64 65 66 | <I>e</I|> is def|
|00002af0| 69 6e 65 64 20 6f 76 65 | 72 20 3c 49 4d 47 0a 20 |ined ove|r <IMG. |
|00002b00| 53 54 59 4c 45 3d 22 68 | 65 69 67 68 74 3a 20 31 |STYLE="h|eight: 1|
|00002b10| 2e 31 32 65 78 3b 20 76 | 65 72 74 69 63 61 6c 2d |.12ex; v|ertical-|
|00002b20| 61 6c 69 67 6e 3a 20 31 | 37 38 2e 31 38 65 78 3b |align: 1|78.18ex;|
|00002b30| 20 22 20 53 52 43 3d 22 | 69 6d 67 34 2e 70 6e 67 | " SRC="|img4.png|
|00002b40| 22 0a 20 41 4c 54 3d 22 | 24 5c 42 62 62 24 22 3e |". ALT="|$\Bbb$">|
|00002b50| 3c 49 3e 51 3c 2f 49 3e | 3c 53 55 42 3e 70 3c 2f |<I>Q</I>|<SUB>p</|
|00002b60| 53 55 42 3e 2c 20 74 68 | 65 20 3c 49 3e 70 3c 2f |SUB>, th|e <I>p</|
|00002b70| 49 3e 2d 61 64 69 63 20 | 76 61 6c 75 61 74 69 6f |I>-adic |valuatio|
|00002b80| 6e 20 6f 66 20 3c 49 3e | 6a 3c 2f 49 3e 20 6d 75 |n of <I>|j</I> mu|
|00002b90| 73 74 0a 62 65 20 6e 65 | 67 61 74 69 76 65 2e 20 |st.be ne|gative. |
|00002ba0| 54 68 65 6e 20 3c 49 3e | 45 3c 2f 49 3e 5b 31 34 |Then <I>|E</I>[14|
|00002bb0| 5d 20 69 73 20 74 68 65 | 20 76 65 63 74 6f 72 20 |] is the| vector |
|00002bc0| 77 69 74 68 20 61 20 73 | 69 6e 67 6c 65 0a 63 6f |with a s|ingle.co|
|00002bd0| 6d 70 6f 6e 65 6e 74 20 | 65 71 75 61 6c 20 74 6f |mponent |equal to|
|00002be0| 20 74 68 65 20 3c 49 3e | 70 3c 2f 49 3e 2d 61 64 | the <I>|p</I>-ad|
|00002bf0| 69 63 20 72 6f 6f 74 20 | 6f 66 20 74 68 65 20 61 |ic root |of the a|
|00002c00| 73 73 6f 63 69 61 74 65 | 64 20 57 65 69 65 72 73 |ssociate|d Weiers|
|00002c10| 74 72 61 73 73 0a 65 71 | 75 61 74 69 6f 6e 20 63 |trass.eq|uation c|
|00002c20| 6f 72 72 65 73 70 6f 6e | 64 69 6e 67 20 74 6f 20 |orrespon|ding to |
|00002c30| 2d 31 20 75 6e 64 65 72 | 20 74 68 65 20 54 61 74 |-1 under| the Tat|
|00002c40| 65 20 70 61 72 61 6d 65 | 74 72 69 7a 61 74 69 6f |e parame|trizatio|
|00002c50| 6e 2e 0a 0a 3c 50 3e 0a | 3c 49 3e 45 3c 2f 49 3e |n...<P>.|<I>E</I>|
|00002c60| 5b 31 35 5d 20 69 73 20 | 65 71 75 61 6c 20 74 6f |[15] is |equal to|
|00002c70| 20 74 68 65 20 73 71 75 | 61 72 65 20 6f 66 20 74 | the squ|are of t|
|00002c80| 68 65 20 3c 49 3e 75 3c | 2f 49 3e 2d 76 61 6c 75 |he <I>u<|/I>-valu|
|00002c90| 65 2c 20 69 6e 20 74 68 | 65 20 6e 6f 74 61 74 69 |e, in th|e notati|
|00002ca0| 6f 6e 20 6f 66 20 54 61 | 74 65 2e 0a 0a 3c 50 3e |on of Ta|te...<P>|
|00002cb0| 0a 3c 49 3e 45 3c 2f 49 | 3e 5b 31 36 5d 20 69 73 |.<I>E</I|>[16] is|
|00002cc0| 20 74 68 65 20 3c 49 3e | 75 3c 2f 49 3e 2d 76 61 | the <I>|u</I>-va|
|00002cd0| 6c 75 65 20 69 74 73 65 | 6c 66 2c 20 69 66 20 69 |lue itse|lf, if i|
|00002ce0| 74 20 62 65 6c 6f 6e 67 | 73 20 74 6f 20 3c 49 4d |t belong|s to <IM|
|00002cf0| 47 0a 20 53 54 59 4c 45 | 3d 22 68 65 69 67 68 74 |G. STYLE|="height|
|00002d00| 3a 20 31 2e 31 32 65 78 | 3b 20 76 65 72 74 69 63 |: 1.12ex|; vertic|
|00002d10| 61 6c 2d 61 6c 69 67 6e | 3a 20 31 37 38 2e 31 38 |al-align|: 178.18|
|00002d20| 65 78 3b 20 22 20 53 52 | 43 3d 22 69 6d 67 34 2e |ex; " SR|C="img4.|
|00002d30| 70 6e 67 22 0a 20 41 4c | 54 3d 22 24 5c 42 62 62 |png". AL|T="$\Bbb|
|00002d40| 24 22 3e 3c 49 3e 51 3c | 2f 49 3e 3c 53 55 42 3e |$"><I>Q<|/I><SUB>|
|00002d50| 70 3c 2f 53 55 42 3e 2c | 20 6f 74 68 65 72 77 69 |p</SUB>,| otherwi|
|00002d60| 73 65 20 7a 65 72 6f 2e | 0a 0a 3c 50 3e 0a 3c 49 |se zero.|..<P>.<I|
|00002d70| 3e 45 3c 2f 49 3e 5b 31 | 37 5d 20 69 73 20 74 68 |>E</I>[1|7] is th|
|00002d80| 65 20 76 61 6c 75 65 20 | 6f 66 20 54 61 74 65 27 |e value |of Tate'|
|00002d90| 73 20 3c 49 3e 71 3c 2f | 49 3e 20 66 6f 72 20 74 |s <I>q</|I> for t|
|00002da0| 68 65 20 63 75 72 76 65 | 20 3c 49 3e 65 3c 2f 49 |he curve| <I>e</I|
|00002db0| 3e 2e 0a 0a 3c 50 3e 0a | 3c 49 3e 45 3c 2f 49 3e |>...<P>.|<I>E</I>|
|00002dc0| 5b 31 38 5d 20 69 73 20 | 74 68 65 20 76 61 6c 75 |[18] is |the valu|
|00002dd0| 65 20 6f 66 20 4d 65 73 | 74 72 65 27 73 20 3c 49 |e of Mes|tre's <I|
|00002de0| 3e 77 3c 2f 49 3e 20 28 | 74 68 69 73 20 69 73 20 |>w</I> (|this is |
|00002df0| 74 65 63 68 6e 69 63 61 | 6c 29 2c 20 61 6e 64 0a |technica|l), and.|
|00002e00| 3c 49 3e 45 3c 2f 49 3e | 5b 31 39 5d 20 69 73 20 |<I>E</I>|[19] is |
|00002e10| 61 72 62 69 74 72 61 72 | 69 6c 79 20 73 65 74 20 |arbitrar|ily set |
|00002e20| 65 71 75 61 6c 20 74 6f | 20 7a 65 72 6f 2e 0a 0a |equal to| zero...|
|00002e30| 3c 50 3e 3c 2f 50 3e 0a | 46 6f 72 20 61 6c 6c 20 |<P></P>.|For all |
|00002e40| 6f 74 68 65 72 20 62 61 | 73 65 20 66 69 65 6c 64 |other ba|se field|
|00002e50| 73 20 6f 72 20 72 69 6e | 67 73 2c 20 74 68 65 20 |s or rin|gs, the |
|00002e60| 6c 61 73 74 20 73 69 78 | 20 63 6f 6d 70 6f 6e 65 |last six| compone|
|00002e70| 6e 74 73 20 61 72 65 0a | 61 72 62 69 74 72 61 72 |nts are.|arbitrar|
|00002e80| 69 6c 79 20 73 65 74 20 | 65 71 75 61 6c 20 74 6f |ily set |equal to|
|00002e90| 20 7a 65 72 6f 2e 0a 0a | 3c 50 3e 0a 54 68 65 20 | zero...|<P>.The |
|00002ea0| 6c 69 62 72 61 72 79 20 | 73 79 6e 74 61 78 20 69 |library |syntax i|
|00002eb0| 73 20 3c 21 2d 2d 20 4d | 41 54 48 0a 20 24 5c 74 |s <!-- M|ATH. $\t|
|00002ec0| 65 62 7b 69 6e 69 74 65 | 6c 6c 7d 28 65 2c 70 72 |eb{inite|ll}(e,pr|
|00002ed0| 65 63 29 24 0a 20 2d 2d | 3e 0a 3c 49 4d 47 0a 20 |ec)$. --|>.<IMG. |
|00002ee0| 53 54 59 4c 45 3d 22 68 | 65 69 67 68 74 3a 20 31 |STYLE="h|eight: 1|
|00002ef0| 39 36 2e 32 35 65 78 3b | 20 76 65 72 74 69 63 61 |96.25ex;| vertica|
|00002f00| 6c 2d 61 6c 69 67 6e 3a | 20 2d 30 2e 31 32 65 78 |l-align:| -0.12ex|
|00002f10| 3b 20 22 20 53 52 43 3d | 22 69 6d 67 31 2e 70 6e |; " SRC=|"img1.pn|
|00002f20| 67 22 0a 20 41 4c 54 3d | 22 24 5c 74 65 62 24 22 |g". ALT=|"$\teb$"|
|00002f30| 3e 3c 49 3e 69 6e 69 74 | 65 6c 6c 3c 2f 49 3e 28 |><I>init|ell</I>(|
|00002f40| 3c 49 3e 65 3c 2f 49 3e | 2c 20 3c 49 3e 70 72 65 |<I>e</I>|, <I>pre|
|00002f50| 63 3c 2f 49 3e 29 2e 0a | 0a 3c 50 3e 0a 69 73 6f |c</I>)..|.<P>.iso|
|00002f60| 6e 63 75 72 76 65 28 3c | 49 3e 65 3c 2f 49 3e 2c |ncurve(<|I>e</I>,|
|00002f70| 20 3c 49 3e 7a 3c 2f 49 | 3e 29 3a 20 67 69 76 65 | <I>z</I|>): give|
|00002f80| 73 20 31 20 28 69 2e 65 | 2e 20 74 72 75 65 29 20 |s 1 (i.e|. true) |
|00002f90| 69 66 20 74 68 65 20 70 | 6f 69 6e 74 20 3c 49 3e |if the p|oint <I>|
|00002fa0| 7a 3c 2f 49 3e 20 69 73 | 20 6f 6e 20 74 68 65 0a |z</I> is| on the.|
|00002fb0| 65 6c 6c 69 70 74 69 63 | 20 63 75 72 76 65 20 3c |elliptic| curve <|
|00002fc0| 49 3e 65 3c 2f 49 3e 2c | 20 30 20 6f 74 68 65 72 |I>e</I>,| 0 other|
|00002fd0| 77 69 73 65 2e 20 48 65 | 72 65 20 3c 49 3e 65 3c |wise. He|re <I>e<|
|00002fe0| 2f 49 3e 20 63 61 6e 20 | 62 65 20 61 20 66 69 76 |/I> can |be a fiv|
|00002ff0| 65 2d 63 6f 6d 70 6f 6e | 65 6e 74 20 76 65 63 74 |e-compon|ent vect|
|00003000| 6f 72 20 6f 72 0a 61 20 | 6c 6f 6e 67 20 76 65 63 |or or.a |long vec|
|00003010| 74 6f 72 2e 0a 0a 3c 50 | 3e 0a 54 68 65 20 6c 69 |tor...<P|>.The li|
|00003020| 62 72 61 72 79 20 73 79 | 6e 74 61 78 20 69 73 20 |brary sy|ntax is |
|00003030| 3c 21 2d 2d 20 4d 41 54 | 48 0a 20 24 5c 74 65 62 |<!-- MAT|H. $\teb|
|00003040| 7b 6f 6e 63 75 72 76 65 | 7d 28 65 2c 7a 29 24 0a |{oncurve|}(e,z)$.|
|00003050| 20 2d 2d 3e 0a 3c 49 4d | 47 0a 20 53 54 59 4c 45 | -->.<IM|G. STYLE|
|00003060| 3d 22 68 65 69 67 68 74 | 3a 20 31 39 36 2e 32 35 |="height|: 196.25|
|00003070| 65 78 3b 20 76 65 72 74 | 69 63 61 6c 2d 61 6c 69 |ex; vert|ical-ali|
|00003080| 67 6e 3a 20 2d 30 2e 31 | 32 65 78 3b 20 22 20 53 |gn: -0.1|2ex; " S|
|00003090| 52 43 3d 22 69 6d 67 31 | 2e 70 6e 67 22 0a 20 41 |RC="img1|.png". A|
|000030a0| 4c 54 3d 22 24 5c 74 65 | 62 24 22 3e 3c 49 3e 6f |LT="$\te|b$"><I>o|
|000030b0| 6e 63 75 72 76 65 3c 2f | 49 3e 28 3c 49 3e 65 3c |ncurve</|I>(<I>e<|
|000030c0| 2f 49 3e 2c 20 3c 49 3e | 7a 3c 2f 49 3e 29 2c 20 |/I>, <I>|z</I>), |
|000030d0| 61 6e 64 20 74 68 65 20 | 72 65 73 75 6c 74 20 69 |and the |result i|
|000030e0| 73 20 61 0a 43 2d 69 6e | 74 65 67 65 72 2e 0a 0a |s a.C-in|teger...|
|000030f0| 3c 50 3e 0a 6c 6f 63 61 | 6c 72 65 64 28 3c 49 3e |<P>.loca|lred(<I>|
|00003100| 65 3c 2f 49 3e 2c 20 3c | 49 3e 70 3c 2f 49 3e 29 |e</I>, <|I>p</I>)|
|00003110| 3a 20 63 61 6c 63 75 6c | 61 74 65 20 74 68 65 20 |: calcul|ate the |
|00003120| 4b 6f 64 61 69 72 61 20 | 74 79 70 65 20 6f 66 20 |Kodaira |type of |
|00003130| 74 68 65 20 6c 6f 63 61 | 6c 20 66 69 62 65 72 20 |the loca|l fiber |
|00003140| 6f 66 0a 74 68 65 20 65 | 6c 6c 69 70 74 69 63 20 |of.the e|lliptic |
|00003150| 63 75 72 76 65 20 3c 49 | 3e 65 3c 2f 49 3e 20 61 |curve <I|>e</I> a|
|00003160| 74 20 74 68 65 20 70 72 | 69 6d 65 20 3c 49 3e 70 |t the pr|ime <I>p|
|00003170| 3c 2f 49 3e 2e 20 3c 49 | 3e 65 3c 2f 49 3e 20 6d |</I>. <I|>e</I> m|
|00003180| 75 73 74 20 62 65 20 67 | 69 76 65 6e 20 62 79 20 |ust be g|iven by |
|00003190| 61 20 6d 65 64 69 75 6d | 20 6f 72 20 6c 6f 6e 67 |a medium| or long|
|000031a0| 20 0a 76 65 63 74 6f 72 | 20 6f 66 20 74 68 65 20 | .vector| of the |
|000031b0| 74 79 70 65 20 67 69 76 | 65 6e 20 62 79 20 3c 54 |type giv|en by <T|
|000031c0| 54 3e 73 6d 61 6c 6c 69 | 6e 69 74 65 6c 6c 3c 2f |T>smalli|nitell</|
|000031d0| 54 54 3e 20 6f 72 20 3c | 54 54 3e 69 6e 69 74 65 |TT> or <|TT>inite|
|000031e0| 6c 6c 3c 2f 54 54 3e 2c | 20 61 6e 64 20 69 73 20 |ll</TT>,| and is |
|000031f0| 61 73 73 75 6d 65 64 20 | 74 6f 0a 68 61 76 65 20 |assumed |to.have |
|00003200| 61 6c 6c 20 69 74 73 20 | 63 6f 65 66 66 69 63 69 |all its |coeffici|
|00003210| 65 6e 74 73 20 3c 49 3e | 61 3c 2f 49 3e 3c 53 55 |ents <I>|a</I><SU|
|00003220| 42 3e 69 3c 2f 53 55 42 | 3e 20 69 6e 20 3c 49 4d |B>i</SUB|> in <IM|
|00003230| 47 0a 20 53 54 59 4c 45 | 3d 22 68 65 69 67 68 74 |G. STYLE|="height|
|00003240| 3a 20 31 2e 31 32 65 78 | 3b 20 76 65 72 74 69 63 |: 1.12ex|; vertic|
|00003250| 61 6c 2d 61 6c 69 67 6e | 3a 20 31 37 38 2e 31 38 |al-align|: 178.18|
|00003260| 65 78 3b 20 22 20 53 52 | 43 3d 22 69 6d 67 34 2e |ex; " SR|C="img4.|
|00003270| 70 6e 67 22 0a 20 41 4c | 54 3d 22 24 5c 42 62 62 |png". AL|T="$\Bbb|
|00003280| 24 22 3e 3c 49 3e 5a 3c | 2f 49 3e 2e 20 54 68 65 |$"><I>Z<|/I>. The|
|00003290| 20 72 65 73 75 6c 74 20 | 69 73 20 61 20 33 20 63 | result |is a 3 c|
|000032a0| 6f 6d 70 6f 6e 65 6e 74 | 20 76 65 63 74 6f 72 0a |omponent| vector.|
|000032b0| 3c 21 2d 2d 20 4d 41 54 | 48 0a 20 24 5b 66 2c 20 |<!-- MAT|H. $[f, |
|000032c0| 6b 6f 64 2c 20 76 5d 24 | 0a 20 2d 2d 3e 0a 5b 3c |kod, v]$|. -->.[<|
|000032d0| 49 3e 66 3c 2f 49 3e 2c | 20 3c 49 3e 6b 6f 64 3c |I>f</I>,| <I>kod<|
|000032e0| 2f 49 3e 2c 20 3c 49 3e | 76 3c 2f 49 3e 5d 2e 20 |/I>, <I>|v</I>]. |
|000032f0| 48 65 72 65 20 3c 49 3e | 66 3c 2f 49 3e 20 69 73 |Here <I>|f</I> is|
|00003300| 20 74 68 65 20 65 78 70 | 6f 6e 65 6e 74 20 6f 66 | the exp|onent of|
|00003310| 20 3c 49 3e 70 3c 2f 49 | 3e 20 69 6e 20 74 68 65 | <I>p</I|> in the|
|00003320| 20 61 72 69 74 68 6d 65 | 74 69 63 20 63 6f 6e 64 | arithme|tic cond|
|00003330| 75 63 74 6f 72 20 6f 66 | 20 3c 49 3e 65 3c 2f 49 |uctor of| <I>e</I|
|00003340| 3e 2c 0a 3c 49 3e 6b 6f | 64 3c 2f 49 3e 20 69 73 |>,.<I>ko|d</I> is|
|00003350| 20 74 68 65 20 4b 6f 64 | 61 69 72 61 20 74 79 70 | the Kod|aira typ|
|00003360| 65 20 77 68 69 63 68 20 | 69 73 20 63 6f 64 65 64 |e which |is coded|
|00003370| 20 61 73 20 66 6f 6c 6c | 6f 77 73 3a 20 31 20 6d | as foll|ows: 1 m|
|00003380| 65 61 6e 73 20 67 6f 6f | 64 20 72 65 64 75 63 74 |eans goo|d reduct|
|00003390| 69 6f 6e 20 28 74 79 70 | 65 20 49 3c 53 55 42 3e |ion (typ|e I<SUB>|
|000033a0| 30 3c 2f 53 55 42 3e 29 | 2c 20 0a 32 2c 20 33 20 |0</SUB>)|, .2, 3 |
|000033b0| 61 6e 64 20 34 20 6d 65 | 61 6e 20 74 79 70 65 73 |and 4 me|an types|
|000033c0| 20 49 49 2c 20 49 49 49 | 20 61 6e 64 20 49 56 20 | II, III| and IV |
|000033d0| 72 65 73 70 65 63 74 69 | 76 65 6c 79 2c 20 34 20 |respecti|vely, 4 |
|000033e0| 2b 20 3c 49 3e 26 23 39 | 35 37 3b 3c 2f 49 3e 20 |+ <I>	|57;</I> |
|000033f0| 77 69 74 68 20 3c 49 3e | 26 23 39 35 37 3b 3c 2f |with <I>|ν</|
|00003400| 49 3e 20 26 67 74 3b 20 | 30 20 6d 65 61 6e 73 20 |I> > |0 means |
|00003410| 74 79 70 65 20 49 3c 53 | 55 42 3e 3c 49 3e 26 23 |type I<S|UB><I>&#|
|00003420| 39 35 37 3b 3c 2f 49 3e | 3c 2f 53 55 42 3e 3b 0a |957;</I>|</SUB>;.|
|00003430| 66 69 6e 61 6c 6c 79 20 | 74 68 65 20 6f 70 70 6f |finally |the oppo|
|00003440| 73 69 74 65 20 76 61 6c | 75 65 73 20 2d 31 2c 20 |site val|ues -1, |
|00003450| 2d 32 2c 20 65 74 63 2e | 20 72 65 66 65 72 20 74 |-2, etc.| refer t|
|00003460| 6f 20 74 68 65 20 73 74 | 61 72 72 65 64 20 74 79 |o the st|arred ty|
|00003470| 70 65 73 20 49 3c 53 55 | 42 3e 30 3c 2f 53 55 42 |pes I<SU|B>0</SUB|
|00003480| 3e 3c 53 55 50 3e 2a 3c | 2f 53 55 50 3e 2c 20 49 |><SUP>*<|/SUP>, I|
|00003490| 49 3c 53 55 50 3e 2a 3c | 2f 53 55 50 3e 2c 20 65 |I<SUP>*<|/SUP>, e|
|000034a0| 74 63 2e 0a 54 68 65 20 | 74 68 69 72 64 20 63 6f |tc..The |third co|
|000034b0| 6d 70 6f 6e 65 6e 74 20 | 3c 49 3e 76 3c 2f 49 3e |mponent |<I>v</I>|
|000034c0| 20 69 73 20 69 74 73 65 | 6c 66 20 61 20 76 65 63 | is itse|lf a vec|
|000034d0| 74 6f 72 20 3c 21 2d 2d | 20 4d 41 54 48 0a 20 24 |tor <!--| MATH. $|
|000034e0| 5b 75 2c 20 72 2c 20 73 | 2c 20 74 5d 24 0a 20 2d |[u, r, s|, t]$. -|
|000034f0| 2d 3e 0a 5b 3c 49 3e 75 | 3c 2f 49 3e 2c 20 3c 49 |->.[<I>u|</I>, <I|
|00003500| 3e 72 3c 2f 49 3e 2c 20 | 3c 49 3e 73 3c 2f 49 3e |>r</I>, |<I>s</I>|
|00003510| 2c 20 3c 49 3e 74 3c 2f | 49 3e 5d 20 67 69 76 69 |, <I>t</|I>] givi|
|00003520| 6e 67 20 74 68 65 20 63 | 6f 6f 72 64 69 6e 61 74 |ng the c|oordinat|
|00003530| 65 20 63 68 61 6e 67 65 | 73 0a 64 6f 6e 65 20 64 |e change|s.done d|
|00003540| 75 72 69 6e 67 20 74 68 | 65 20 6c 6f 63 61 6c 20 |uring th|e local |
|00003550| 72 65 64 75 63 74 69 6f | 6e 2e 20 4e 6f 72 6d 61 |reductio|n. Norma|
|00003560| 6c 6c 79 2c 20 74 68 69 | 73 20 68 61 73 20 6e 6f |lly, thi|s has no|
|00003570| 20 75 73 65 20 69 66 20 | 75 20 69 73 20 31 2c 20 | use if |u is 1, |
|00003580| 74 68 61 74 20 69 73 2c | 20 69 66 20 74 68 65 20 |that is,| if the |
|00003590| 67 69 76 65 6e 20 0a 65 | 71 75 61 74 69 6f 6e 20 |given .e|quation |
|000035a0| 77 61 73 20 61 6c 72 65 | 61 64 79 20 6d 69 6e 69 |was alre|ady mini|
|000035b0| 6d 61 6c 2e 0a 0a 3c 50 | 3e 0a 54 68 65 20 6c 69 |mal...<P|>.The li|
|000035c0| 62 72 61 72 79 20 73 79 | 6e 74 61 78 20 69 73 20 |brary sy|ntax is |
|000035d0| 3c 21 2d 2d 20 4d 41 54 | 48 0a 20 24 5c 74 65 62 |<!-- MAT|H. $\teb|
|000035e0| 7b 6c 6f 63 61 6c 72 65 | 64 75 63 74 69 6f 6e 7d |{localre|duction}|
|000035f0| 28 65 2c 20 70 29 24 0a | 20 2d 2d 3e 0a 3c 49 4d |(e, p)$.| -->.<IM|
|00003600| 47 0a 20 53 54 59 4c 45 | 3d 22 68 65 69 67 68 74 |G. STYLE|="height|
|00003610| 3a 20 31 39 36 2e 32 35 | 65 78 3b 20 76 65 72 74 |: 196.25|ex; vert|
|00003620| 69 63 61 6c 2d 61 6c 69 | 67 6e 3a 20 2d 30 2e 31 |ical-ali|gn: -0.1|
|00003630| 32 65 78 3b 20 22 20 53 | 52 43 3d 22 69 6d 67 31 |2ex; " S|RC="img1|
|00003640| 2e 70 6e 67 22 0a 20 41 | 4c 54 3d 22 24 5c 74 65 |.png". A|LT="$\te|
|00003650| 62 24 22 3e 3c 49 3e 6c | 6f 63 61 6c 72 65 64 75 |b$"><I>l|ocalredu|
|00003660| 63 74 69 6f 6e 3c 2f 49 | 3e 28 3c 49 3e 65 3c 2f |ction</I|>(<I>e</|
|00003670| 49 3e 2c 20 3c 49 3e 70 | 3c 2f 49 3e 29 2e 0a 0a |I>, <I>p|</I>)...|
|00003680| 3c 50 3e 0a 6d 61 74 65 | 6c 6c 28 3c 49 3e 65 3c |<P>.mate|ll(<I>e<|
|00003690| 2f 49 3e 2c 20 3c 49 3e | 78 3c 2f 49 3e 29 3a 20 |/I>, <I>|x</I>): |
|000036a0| 68 65 72 65 20 3c 49 3e | 78 3c 2f 49 3e 20 69 73 |here <I>|x</I> is|
|000036b0| 20 61 20 76 65 63 74 6f | 72 20 6f 66 20 70 6f 69 | a vecto|r of poi|
|000036c0| 6e 74 73 2c 20 61 6e 64 | 20 74 68 69 73 0a 66 75 |nts, and| this.fu|
|000036d0| 6e 63 74 69 6f 6e 20 6f | 75 74 70 75 74 73 20 74 |nction o|utputs t|
|000036e0| 68 65 20 47 72 61 6d 20 | 6d 61 74 72 69 78 20 6f |he Gram |matrix o|
|000036f0| 66 20 3c 49 3e 78 3c 2f | 49 3e 20 77 69 74 68 20 |f <I>x</|I> with |
|00003700| 72 65 73 70 65 63 74 20 | 74 6f 20 74 68 65 20 4e |respect |to the N|
|00003710| 26 23 32 33 33 3b 72 6f | 6e 2d 54 61 74 65 0a 68 |éro|n-Tate.h|
|00003720| 65 69 67 68 74 2c 20 69 | 6e 20 6f 74 68 65 72 20 |eight, i|n other |
|00003730| 77 6f 72 64 73 2c 20 74 | 68 65 20 3c 54 54 3e 28 |words, t|he <TT>(|
|00003740| 69 2c 6a 29 3c 2f 54 54 | 3e 20 63 6f 6d 70 6f 6e |i,j)</TT|> compon|
|00003750| 65 6e 74 20 6f 66 20 74 | 68 65 20 6d 61 74 72 69 |ent of t|he matri|
|00003760| 78 20 69 73 0a 65 71 75 | 61 6c 20 74 6f 20 3c 54 |x is.equ|al to <T|
|00003770| 54 3e 28 68 65 6c 6c 28 | 65 2c 78 5b 69 5d 2b 78 |T>(hell(|e,x[i]+x|
|00003780| 5b 6a 5d 29 2d 68 65 6c | 6c 28 65 2c 78 5b 69 5d |[j])-hel|l(e,x[i]|
|00003790| 29 2d 68 65 6c 6c 28 65 | 2c 78 5b 6a 5d 29 29 2f |)-hell(e|,x[j]))/|
|000037a0| 32 3c 2f 54 54 3e 2c 20 | 77 68 65 72 65 0a 3c 54 |2</TT>, |where.<T|
|000037b0| 54 3e 78 5b 69 5d 2b 78 | 5b 6a 5d 3c 2f 54 54 3e |T>x[i]+x|[j]</TT>|
|000037c0| 20 64 65 6e 6f 74 65 73 | 20 6f 66 20 63 6f 75 72 | denotes| of cour|
|000037d0| 73 65 20 74 68 65 20 73 | 75 6d 20 6f 66 20 74 68 |se the s|um of th|
|000037e0| 65 20 70 6f 69 6e 74 73 | 20 6f 6e 20 74 68 65 20 |e points| on the |
|000037f0| 63 75 72 76 65 20 3c 49 | 3e 65 3c 2f 49 3e 2e 0a |curve <I|>e</I>..|
|00003800| 54 68 65 20 72 61 6e 6b | 20 6f 66 20 74 68 69 73 |The rank| of this|
|00003810| 20 6d 61 74 72 69 78 2c | 20 61 74 20 6c 65 61 73 | matrix,| at leas|
|00003820| 74 20 69 6e 20 73 6f 6d | 65 20 61 70 70 72 6f 78 |t in som|e approx|
|00003830| 69 6d 61 74 65 20 73 65 | 6e 73 65 2c 20 67 69 76 |imate se|nse, giv|
|00003840| 65 73 20 74 68 65 0a 72 | 61 6e 6b 20 6f 66 20 74 |es the.r|ank of t|
|00003850| 68 65 20 73 65 74 20 6f | 66 20 70 6f 69 6e 74 73 |he set o|f points|
|00003860| 2e 0a 0a 3c 50 3e 0a 54 | 68 65 20 6c 69 62 72 61 |...<P>.T|he libra|
|00003870| 72 79 20 73 79 6e 74 61 | 78 20 69 73 20 3c 21 2d |ry synta|x is <!-|
|00003880| 2d 20 4d 41 54 48 0a 20 | 24 5c 74 65 62 7b 6d 61 |- MATH. |$\teb{ma|
|00003890| 74 65 6c 6c 7d 28 65 2c | 78 2c 70 72 65 63 29 24 |tell}(e,|x,prec)$|
|000038a0| 0a 20 2d 2d 3e 0a 3c 49 | 4d 47 0a 20 53 54 59 4c |. -->.<I|MG. STYL|
|000038b0| 45 3d 22 68 65 69 67 68 | 74 3a 20 31 39 36 2e 32 |E="heigh|t: 196.2|
|000038c0| 35 65 78 3b 20 76 65 72 | 74 69 63 61 6c 2d 61 6c |5ex; ver|tical-al|
|000038d0| 69 67 6e 3a 20 2d 30 2e | 31 32 65 78 3b 20 22 20 |ign: -0.|12ex; " |
|000038e0| 53 52 43 3d 22 69 6d 67 | 31 2e 70 6e 67 22 0a 20 |SRC="img|1.png". |
|000038f0| 41 4c 54 3d 22 24 5c 74 | 65 62 24 22 3e 3c 49 3e |ALT="$\t|eb$"><I>|
|00003900| 6d 61 74 65 6c 6c 3c 2f | 49 3e 28 3c 49 3e 65 3c |matell</|I>(<I>e<|
|00003910| 2f 49 3e 2c 20 3c 49 3e | 78 3c 2f 49 3e 2c 20 3c |/I>, <I>|x</I>, <|
|00003920| 49 3e 70 72 65 63 3c 2f | 49 3e 29 2e 0a 0a 3c 50 |I>prec</|I>)...<P|
|00003930| 3e 0a 6f 72 64 65 6c 6c | 28 3c 49 3e 65 3c 2f 49 |>.ordell|(<I>e</I|
|00003940| 3e 2c 20 3c 49 3e 78 3c | 2f 49 3e 29 3a 20 67 69 |>, <I>x<|/I>): gi|
|00003950| 76 65 73 20 61 20 30 2c | 20 31 20 6f 72 20 32 2d |ves a 0,| 1 or 2-|
|00003960| 63 6f 6d 70 6f 6e 65 6e | 74 20 76 65 63 74 6f 72 |componen|t vector|
|00003970| 20 63 6f 6e 74 61 69 6e | 69 6e 67 0a 74 68 65 20 | contain|ing.the |
|00003980| 3c 49 3e 79 3c 2f 49 3e | 2d 63 6f 6f 72 64 69 6e |<I>y</I>|-coordin|
|00003990| 61 74 65 73 20 6f 66 20 | 74 68 65 20 70 6f 69 6e |ates of |the poin|
|000039a0| 74 73 20 6f 66 20 74 68 | 65 20 63 75 72 76 65 20 |ts of th|e curve |
|000039b0| 3c 49 3e 65 3c 2f 49 3e | 20 68 61 76 69 6e 67 20 |<I>e</I>| having |
|000039c0| 3c 49 3e 78 3c 2f 49 3e | 20 61 73 20 0a 3c 49 3e |<I>x</I>| as .<I>|
|000039d0| 78 3c 2f 49 3e 2d 63 6f | 6f 72 64 69 6e 61 74 65 |x</I>-co|ordinate|
|000039e0| 2e 0a 0a 3c 50 3e 0a 54 | 68 65 20 6c 69 62 72 61 |...<P>.T|he libra|
|000039f0| 72 79 20 73 79 6e 74 61 | 78 20 69 73 20 3c 21 2d |ry synta|x is <!-|
|00003a00| 2d 20 4d 41 54 48 0a 20 | 24 5c 74 65 62 7b 6f 72 |- MATH. |$\teb{or|
|00003a10| 64 65 6c 6c 7d 28 65 2c | 78 29 24 0a 20 2d 2d 3e |dell}(e,|x)$. -->|
|00003a20| 0a 3c 49 4d 47 0a 20 53 | 54 59 4c 45 3d 22 68 65 |.<IMG. S|TYLE="he|
|00003a30| 69 67 68 74 3a 20 31 39 | 36 2e 32 35 65 78 3b 20 |ight: 19|6.25ex; |
|00003a40| 76 65 72 74 69 63 61 6c | 2d 61 6c 69 67 6e 3a 20 |vertical|-align: |
|00003a50| 2d 30 2e 31 32 65 78 3b | 20 22 20 53 52 43 3d 22 |-0.12ex;| " SRC="|
|00003a60| 69 6d 67 31 2e 70 6e 67 | 22 0a 20 41 4c 54 3d 22 |img1.png|". ALT="|
|00003a70| 24 5c 74 65 62 24 22 3e | 3c 49 3e 6f 72 64 65 6c |$\teb$">|<I>ordel|
|00003a80| 6c 3c 2f 49 3e 28 3c 49 | 3e 65 3c 2f 49 3e 2c 20 |l</I>(<I|>e</I>, |
|00003a90| 3c 49 3e 78 3c 2f 49 3e | 29 2e 0a 0a 3c 50 3e 0a |<I>x</I>|)...<P>.|
|00003aa0| 70 6f 77 65 6c 6c 28 3c | 49 3e 65 3c 2f 49 3e 2c |powell(<|I>e</I>,|
|00003ab0| 20 3c 49 3e 6e 3c 2f 49 | 3e 2c 20 3c 49 3e 7a 3c | <I>n</I|>, <I>z<|
|00003ac0| 2f 49 3e 29 3a 20 63 6f | 6d 70 75 74 65 73 20 3c |/I>): co|mputes <|
|00003ad0| 49 3e 6e 3c 2f 49 3e 20 | 74 69 6d 65 73 20 74 68 |I>n</I> |times th|
|00003ae0| 65 20 70 6f 69 6e 74 20 | 3c 49 3e 7a 3c 2f 49 3e |e point |<I>z</I>|
|00003af0| 20 66 6f 72 20 74 68 65 | 0a 67 72 6f 75 70 20 6c | for the|.group l|
|00003b00| 61 77 20 6f 6e 20 74 68 | 65 20 65 6c 6c 69 70 74 |aw on th|e ellipt|
|00003b10| 69 63 20 63 75 72 76 65 | 20 3c 49 3e 65 3c 2f 49 |ic curve| <I>e</I|
|00003b20| 3e 2e 20 48 65 72 65 20 | 3c 49 3e 6e 3c 2f 49 3e |>. Here |<I>n</I>|
|00003b30| 20 69 73 20 69 6e 20 3c | 49 4d 47 0a 20 53 54 59 | is in <|IMG. STY|
|00003b40| 4c 45 3d 22 68 65 69 67 | 68 74 3a 20 31 2e 31 32 |LE="heig|ht: 1.12|
|00003b50| 65 78 3b 20 76 65 72 74 | 69 63 61 6c 2d 61 6c 69 |ex; vert|ical-ali|
|00003b60| 67 6e 3a 20 31 37 38 2e | 31 38 65 78 3b 20 22 20 |gn: 178.|18ex; " |
|00003b70| 53 52 43 3d 22 69 6d 67 | 34 2e 70 6e 67 22 0a 20 |SRC="img|4.png". |
|00003b80| 41 4c 54 3d 22 24 5c 42 | 62 62 24 22 3e 3c 49 3e |ALT="$\B|bb$"><I>|
|00003b90| 5a 3c 2f 49 3e 2e 0a 0a | 3c 50 3e 0a 54 68 65 20 |Z</I>...|<P>.The |
|00003ba0| 6c 69 62 72 61 72 79 20 | 73 79 6e 74 61 78 20 69 |library |syntax i|
|00003bb0| 73 20 3c 21 2d 2d 20 4d | 41 54 48 0a 20 24 5c 74 |s <!-- M|ATH. $\t|
|00003bc0| 65 62 7b 70 6f 77 65 6c | 6c 7d 28 65 2c 6e 2c 7a |eb{powel|l}(e,n,z|
|00003bd0| 29 24 0a 20 2d 2d 3e 0a | 3c 49 4d 47 0a 20 53 54 |)$. -->.|<IMG. ST|
|00003be0| 59 4c 45 3d 22 68 65 69 | 67 68 74 3a 20 31 39 36 |YLE="hei|ght: 196|
|00003bf0| 2e 32 35 65 78 3b 20 76 | 65 72 74 69 63 61 6c 2d |.25ex; v|ertical-|
|00003c00| 61 6c 69 67 6e 3a 20 2d | 30 2e 31 32 65 78 3b 20 |align: -|0.12ex; |
|00003c10| 22 20 53 52 43 3d 22 69 | 6d 67 31 2e 70 6e 67 22 |" SRC="i|mg1.png"|
|00003c20| 0a 20 41 4c 54 3d 22 24 | 5c 74 65 62 24 22 3e 3c |. ALT="$|\teb$"><|
|00003c30| 49 3e 70 6f 77 65 6c 6c | 3c 2f 49 3e 28 3c 49 3e |I>powell|</I>(<I>|
|00003c40| 65 3c 2f 49 3e 2c 20 3c | 49 3e 6e 3c 2f 49 3e 2c |e</I>, <|I>n</I>,|
|00003c50| 20 3c 49 3e 7a 3c 2f 49 | 3e 29 2e 0a 0a 3c 50 3e | <I>z</I|>)...<P>|
|00003c60| 0a 73 6d 61 6c 6c 69 6e | 69 74 65 6c 6c 28 3c 49 |.smallin|itell(<I|
|00003c70| 3e 65 3c 2f 49 3e 29 3a | 20 63 6f 6d 70 75 74 65 |>e</I>):| compute|
|00003c80| 20 73 6f 6d 65 20 66 69 | 78 65 64 20 64 61 74 61 | some fi|xed data|
|00003c90| 20 63 6f 6e 63 65 72 6e | 69 6e 67 20 74 68 65 20 | concern|ing the |
|00003ca0| 65 6c 6c 69 70 74 69 63 | 0a 63 75 72 76 65 20 67 |elliptic|.curve g|
|00003cb0| 69 76 65 6e 20 62 79 20 | 74 68 65 20 66 69 76 65 |iven by |the five|
|00003cc0| 20 63 6f 6d 70 6f 6e 65 | 6e 74 20 76 65 63 74 6f | compone|nt vecto|
|00003cd0| 72 20 3c 49 3e 65 3c 2f | 49 3e 2c 20 77 68 69 63 |r <I>e</|I>, whic|
|00003ce0| 68 20 6d 61 79 20 62 65 | 20 75 73 65 66 75 6c 20 |h may be| useful |
|00003cf0| 66 6f 72 0a 66 75 72 74 | 68 65 72 20 63 6f 6d 70 |for.furt|her comp|
|00003d00| 75 74 61 74 69 6f 6e 73 | 20 6f 6e 20 74 68 65 20 |utations| on the |
|00003d10| 63 75 72 76 65 2e 20 54 | 68 65 20 72 65 73 75 6c |curve. T|he resul|
|00003d20| 74 20 69 73 20 61 20 31 | 33 2d 63 6f 6d 70 6f 6e |t is a 1|3-compon|
|00003d30| 65 6e 74 0a 76 65 63 74 | 6f 72 20 45 20 28 63 61 |ent.vect|or E (ca|
|00003d40| 6c 6c 65 64 20 61 20 6d | 65 64 69 75 6d 20 76 65 |lled a m|edium ve|
|00003d50| 63 74 6f 72 20 69 6e 20 | 74 68 69 73 20 73 65 63 |ctor in |this sec|
|00003d60| 74 69 6f 6e 29 2c 20 63 | 6f 6e 74 61 69 6e 69 6e |tion), c|ontainin|
|00003d70| 67 20 74 68 65 20 66 69 | 72 73 74 20 31 33 0a 63 |g the fi|rst 13.c|
|00003d80| 6f 6d 70 6f 6e 65 6e 74 | 73 20 6f 66 20 74 68 65 |omponent|s of the|
|00003d90| 20 76 65 63 74 6f 72 20 | 67 69 76 65 6e 20 62 79 | vector |given by|
|00003da0| 20 3c 54 54 3e 69 6e 69 | 74 65 6c 6c 3c 2f 54 54 | <TT>ini|tell</TT|
|00003db0| 3e 2c 20 69 6e 20 6f 74 | 68 65 72 20 77 6f 72 64 |>, in ot|her word|
|00003dc0| 73 20 74 68 65 20 76 65 | 63 74 6f 72 0a 0a 3c 50 |s the ve|ctor..<P|
|00003dd0| 3e 0a 3c 50 3e 3c 21 2d | 2d 20 4d 41 54 48 0a 20 |>.<P><!-|- MATH. |
|00003de0| 5c 62 65 67 69 6e 7b 64 | 69 73 70 6c 61 79 6d 61 |\begin{d|isplayma|
|00003df0| 74 68 7d 0a 5b 61 5f 31 | 2c 61 5f 32 2c 61 5f 33 |th}.[a_1|,a_2,a_3|
|00003e00| 2c 61 5f 34 2c 61 5f 36 | 2c 62 5f 32 2c 62 5f 34 |,a_4,a_6|,b_2,b_4|
|00003e10| 2c 62 5f 36 2c 62 5f 38 | 2c 63 5f 34 2c 63 5f 36 |,b_6,b_8|,c_4,c_6|
|00003e20| 2c 5c 44 65 6c 74 61 2c | 6a 5d 2e 0a 5c 65 6e 64 |,\Delta,|j]..\end|
|00003e30| 7b 64 69 73 70 6c 61 79 | 6d 61 74 68 7d 0a 20 2d |{display|math}. -|
|00003e40| 2d 3e 0a 3c 2f 50 3e 0a | 3c 44 49 56 20 41 4c 49 |->.</P>.|<DIV ALI|
|00003e50| 47 4e 3d 22 43 45 4e 54 | 45 52 22 3e 0a 5b 3c 49 |GN="CENT|ER">.[<I|
|00003e60| 3e 61 3c 2f 49 3e 3c 53 | 55 42 3e 31 3c 2f 53 55 |>a</I><S|UB>1</SU|
|00003e70| 42 3e 2c 20 3c 49 3e 61 | 3c 2f 49 3e 3c 53 55 42 |B>, <I>a|</I><SUB|
|00003e80| 3e 32 3c 2f 53 55 42 3e | 2c 20 3c 49 3e 61 3c 2f |>2</SUB>|, <I>a</|
|00003e90| 49 3e 3c 53 55 42 3e 33 | 3c 2f 53 55 42 3e 2c 20 |I><SUB>3|</SUB>, |
|00003ea0| 3c 49 3e 61 3c 2f 49 3e | 3c 53 55 42 3e 34 3c 2f |<I>a</I>|<SUB>4</|
|00003eb0| 53 55 42 3e 2c 20 3c 49 | 3e 61 3c 2f 49 3e 3c 53 |SUB>, <I|>a</I><S|
|00003ec0| 55 42 3e 36 3c 2f 53 55 | 42 3e 2c 20 3c 49 3e 62 |UB>6</SU|B>, <I>b|
|00003ed0| 3c 2f 49 3e 3c 53 55 42 | 3e 32 3c 2f 53 55 42 3e |</I><SUB|>2</SUB>|
|00003ee0| 2c 20 3c 49 3e 62 3c 2f | 49 3e 3c 53 55 42 3e 34 |, <I>b</|I><SUB>4|
|00003ef0| 3c 2f 53 55 42 3e 2c 20 | 3c 49 3e 62 3c 2f 49 3e |</SUB>, |<I>b</I>|
|00003f00| 3c 53 55 42 3e 36 3c 2f | 53 55 42 3e 2c 20 3c 49 |<SUB>6</|SUB>, <I|
|00003f10| 3e 62 3c 2f 49 3e 3c 53 | 55 42 3e 38 3c 2f 53 55 |>b</I><S|UB>8</SU|
|00003f20| 42 3e 2c 20 3c 49 3e 63 | 3c 2f 49 3e 3c 53 55 42 |B>, <I>c|</I><SUB|
|00003f30| 3e 34 3c 2f 53 55 42 3e | 2c 20 3c 49 3e 63 3c 2f |>4</SUB>|, <I>c</|
|00003f40| 49 3e 3c 53 55 42 3e 36 | 3c 2f 53 55 42 3e 2c 20 |I><SUB>6|</SUB>, |
|00003f50| 3c 49 3e 26 23 39 31 36 | 3b 3c 2f 49 3e 2c 20 3c |<I>Δ|;</I>, <|
|00003f60| 49 3e 6a 3c 2f 49 3e 5d | 2e 0a 3c 2f 44 49 56 3e |I>j</I>]|..</DIV>|
|00003f70| 3c 50 3e 3c 2f 50 3e 0a | 0a 3c 50 3e 0a 49 6e 20 |<P></P>.|.<P>.In |
|00003f80| 70 61 72 74 69 63 75 6c | 61 72 2c 20 74 68 65 20 |particul|ar, the |
|00003f90| 64 69 73 63 72 69 6d 69 | 6e 61 6e 74 20 69 73 20 |discrimi|nant is |
|00003fa0| 3c 49 3e 45 3c 2f 49 3e | 5b 31 32 5d 2c 20 61 6e |<I>E</I>|[12], an|
|00003fb0| 64 20 74 68 65 20 3c 49 | 3e 6a 3c 2f 49 3e 2d 69 |d the <I|>j</I>-i|
|00003fc0| 6e 76 61 72 69 61 6e 74 | 20 69 73 0a 3c 49 3e 45 |nvariant| is.<I>E|
|00003fd0| 3c 2f 49 3e 5b 31 33 5d | 2e 20 0a 0a 3c 50 3e 0a |</I>[13]|. ..<P>.|
|00003fe0| 54 68 65 20 6c 69 62 72 | 61 72 79 20 73 79 6e 74 |The libr|ary synt|
|00003ff0| 61 78 20 69 73 20 3c 21 | 2d 2d 20 4d 41 54 48 0a |ax is <!|-- MATH.|
|00004000| 20 24 5c 74 65 62 7b 73 | 6d 61 6c 6c 69 6e 69 74 | $\teb{s|mallinit|
|00004010| 65 6c 6c 7d 28 65 29 24 | 0a 20 2d 2d 3e 0a 3c 49 |ell}(e)$|. -->.<I|
|00004020| 4d 47 0a 20 53 54 59 4c | 45 3d 22 68 65 69 67 68 |MG. STYL|E="heigh|
|00004030| 74 3a 20 31 39 36 2e 32 | 35 65 78 3b 20 76 65 72 |t: 196.2|5ex; ver|
|00004040| 74 69 63 61 6c 2d 61 6c | 69 67 6e 3a 20 2d 30 2e |tical-al|ign: -0.|
|00004050| 31 32 65 78 3b 20 22 20 | 53 52 43 3d 22 69 6d 67 |12ex; " |SRC="img|
|00004060| 31 2e 70 6e 67 22 0a 20 | 41 4c 54 3d 22 24 5c 74 |1.png". |ALT="$\t|
|00004070| 65 62 24 22 3e 3c 49 3e | 73 6d 61 6c 6c 69 6e 69 |eb$"><I>|smallini|
|00004080| 74 65 6c 6c 3c 2f 49 3e | 28 3c 49 3e 65 3c 2f 49 |tell</I>|(<I>e</I|
|00004090| 3e 29 2e 0a 0a 3c 50 3e | 0a 73 75 62 65 6c 6c 28 |>)...<P>|.subell(|
|000040a0| 3c 49 3e 65 3c 2f 49 3e | 2c 20 3c 49 3e 7a 3c 2f |<I>e</I>|, <I>z</|
|000040b0| 49 3e 31 2c 20 3c 49 3e | 7a 3c 2f 49 3e 32 29 3a |I>1, <I>|z</I>2):|
|000040c0| 20 64 69 66 66 65 72 65 | 6e 63 65 20 6f 66 20 74 | differe|nce of t|
|000040d0| 68 65 20 70 6f 69 6e 74 | 73 20 3c 49 3e 7a 3c 2f |he point|s <I>z</|
|000040e0| 49 3e 31 20 61 6e 64 20 | 3c 49 3e 7a 3c 2f 49 3e |I>1 and |<I>z</I>|
|000040f0| 32 20 6f 6e 20 74 68 65 | 0a 65 6c 6c 69 70 74 69 |2 on the|.ellipti|
|00004100| 63 20 63 75 72 76 65 20 | 63 6f 72 72 65 73 70 6f |c curve |correspo|
|00004110| 6e 64 69 6e 67 20 74 6f | 20 74 68 65 20 76 65 63 |nding to| the vec|
|00004120| 74 6f 72 20 3c 49 3e 65 | 3c 2f 49 3e 2e 0a 0a 3c |tor <I>e|</I>...<|
|00004130| 50 3e 0a 54 68 65 20 6c | 69 62 72 61 72 79 20 73 |P>.The l|ibrary s|
|00004140| 79 6e 74 61 78 20 69 73 | 20 3c 21 2d 2d 20 4d 41 |yntax is| <!-- MA|
|00004150| 54 48 0a 20 24 5c 74 65 | 62 7b 73 75 62 65 6c 6c |TH. $\te|b{subell|
|00004160| 7d 28 65 2c 7a 31 2c 7a | 32 29 24 0a 20 2d 2d 3e |}(e,z1,z|2)$. -->|
|00004170| 0a 3c 49 4d 47 0a 20 53 | 54 59 4c 45 3d 22 68 65 |.<IMG. S|TYLE="he|
|00004180| 69 67 68 74 3a 20 31 39 | 36 2e 32 35 65 78 3b 20 |ight: 19|6.25ex; |
|00004190| 76 65 72 74 69 63 61 6c | 2d 61 6c 69 67 6e 3a 20 |vertical|-align: |
|000041a0| 2d 30 2e 31 32 65 78 3b | 20 22 20 53 52 43 3d 22 |-0.12ex;| " SRC="|
|000041b0| 69 6d 67 31 2e 70 6e 67 | 22 0a 20 41 4c 54 3d 22 |img1.png|". ALT="|
|000041c0| 24 5c 74 65 62 24 22 3e | 3c 49 3e 73 75 62 65 6c |$\teb$">|<I>subel|
|000041d0| 6c 3c 2f 49 3e 28 3c 49 | 3e 65 3c 2f 49 3e 2c 20 |l</I>(<I|>e</I>, |
|000041e0| 3c 49 3e 7a 3c 2f 49 3e | 31 2c 20 3c 49 3e 7a 3c |<I>z</I>|1, <I>z<|
|000041f0| 2f 49 3e 32 29 2e 0a 0a | 3c 50 3e 0a 7a 65 6c 6c |/I>2)...|<P>.zell|
|00004200| 28 3c 49 3e 65 3c 2f 49 | 3e 2c 20 3c 49 3e 7a 3c |(<I>e</I|>, <I>z<|
|00004210| 2f 49 3e 29 3a 20 49 66 | 20 3c 49 3e 65 3c 2f 49 |/I>): If| <I>e</I|
|00004220| 3e 20 69 73 20 61 6e 20 | 65 6c 6c 69 70 74 69 63 |> is an |elliptic|
|00004230| 20 63 75 72 76 65 20 77 | 69 74 68 20 63 6f 65 66 | curve w|ith coef|
|00004240| 66 69 63 69 65 6e 74 73 | 20 69 6e 0a 3c 49 4d 47 |ficients| in.<IMG|
|00004250| 0a 20 53 54 59 4c 45 3d | 22 68 65 69 67 68 74 3a |. STYLE=|"height:|
|00004260| 20 31 2e 31 32 65 78 3b | 20 76 65 72 74 69 63 61 | 1.12ex;| vertica|
|00004270| 6c 2d 61 6c 69 67 6e 3a | 20 31 37 38 2e 31 38 65 |l-align:| 178.18e|
|00004280| 78 3b 20 22 20 53 52 43 | 3d 22 69 6d 67 34 2e 70 |x; " SRC|="img4.p|
|00004290| 6e 67 22 0a 20 41 4c 54 | 3d 22 24 5c 42 62 62 24 |ng". ALT|="$\Bbb$|
|000042a0| 22 3e 3c 49 3e 52 3c 2f | 49 3e 2c 20 74 68 69 73 |"><I>R</|I>, this|
|000042b0| 20 63 6f 6d 70 75 74 65 | 73 20 61 20 63 6f 6d 70 | compute|s a comp|
|000042c0| 6c 65 78 20 6e 75 6d 62 | 65 72 20 3c 49 3e 74 3c |lex numb|er <I>t<|
|000042d0| 2f 49 3e 20 28 6d 6f 64 | 75 6c 6f 20 74 68 65 20 |/I> (mod|ulo the |
|000042e0| 6c 61 74 74 69 63 65 20 | 64 65 66 69 6e 69 6e 67 |lattice |defining|
|000042f0| 20 3c 49 3e 65 3c 2f 49 | 3e 29 0a 63 6f 72 72 65 | <I>e</I|>).corre|
|00004300| 73 70 6f 6e 64 69 6e 67 | 20 74 6f 20 74 68 65 20 |sponding| to the |
|00004310| 70 6f 69 6e 74 20 3c 49 | 3e 7a 3c 2f 49 3e 2c 20 |point <I|>z</I>, |
|00004320| 69 2e 65 2e 20 73 75 63 | 68 20 74 68 61 74 2c 20 |i.e. suc|h that, |
|00004330| 69 6e 20 74 68 65 20 73 | 74 61 6e 64 61 72 64 20 |in the s|tandard |
|00004340| 57 65 69 65 72 73 74 72 | 61 73 73 0a 6d 6f 64 65 |Weierstr|ass.mode|
|00004350| 6c 2c 20 3c 21 2d 2d 20 | 4d 41 54 48 0a 20 24 5c |l, <!-- |MATH. $\|
|00004360| 77 70 28 74 29 3d 7a 5b | 31 5d 2c 5c 77 70 27 28 |wp(t)=z[|1],\wp'(|
|00004370| 74 29 3d 7a 5b 32 5d 24 | 0a 20 2d 2d 3e 0a 26 23 |t)=z[2]$|. -->.&#|
|00004380| 38 34 37 32 3b 28 3c 49 | 3e 74 3c 2f 49 3e 29 20 |8472;(<I|>t</I>) |
|00004390| 3d 20 3c 49 3e 7a 3c 2f | 49 3e 5b 31 5d 2c 26 23 |= <I>z</|I>[1],&#|
|000043a0| 38 34 37 32 3b 27 28 3c | 49 3e 74 3c 2f 49 3e 29 |8472;'(<|I>t</I>)|
|000043b0| 20 3d 20 3c 49 3e 7a 3c | 2f 49 3e 5b 32 5d 2e 0a | = <I>z<|/I>[2]..|
|000043c0| 49 66 20 3c 49 3e 65 3c | 2f 49 3e 20 68 61 73 20 |If <I>e<|/I> has |
|000043d0| 63 6f 65 66 66 69 63 69 | 65 6e 74 73 20 69 6e 20 |coeffici|ents in |
|000043e0| 3c 49 4d 47 0a 20 53 54 | 59 4c 45 3d 22 68 65 69 |<IMG. ST|YLE="hei|
|000043f0| 67 68 74 3a 20 31 2e 31 | 32 65 78 3b 20 76 65 72 |ght: 1.1|2ex; ver|
|00004400| 74 69 63 61 6c 2d 61 6c | 69 67 6e 3a 20 31 37 38 |tical-al|ign: 178|
|00004410| 2e 31 38 65 78 3b 20 22 | 20 53 52 43 3d 22 69 6d |.18ex; "| SRC="im|
|00004420| 67 34 2e 70 6e 67 22 0a | 20 41 4c 54 3d 22 24 5c |g4.png".| ALT="$\|
|00004430| 42 62 62 24 22 3e 3c 49 | 3e 51 3c 2f 49 3e 3c 53 |Bbb$"><I|>Q</I><S|
|00004440| 55 42 3e 70 3c 2f 53 55 | 42 3e 2c 20 74 68 65 6e |UB>p</SU|B>, then|
|00004450| 20 65 69 74 68 65 72 20 | 54 61 74 65 27 73 20 3c | either |Tate's <|
|00004460| 49 3e 75 3c 2f 49 3e 20 | 69 73 20 69 6e 20 3c 49 |I>u</I> |is in <I|
|00004470| 4d 47 0a 20 53 54 59 4c | 45 3d 22 68 65 69 67 68 |MG. STYL|E="heigh|
|00004480| 74 3a 20 31 2e 31 32 65 | 78 3b 20 76 65 72 74 69 |t: 1.12e|x; verti|
|00004490| 63 61 6c 2d 61 6c 69 67 | 6e 3a 20 31 37 38 2e 31 |cal-alig|n: 178.1|
|000044a0| 38 65 78 3b 20 22 20 53 | 52 43 3d 22 69 6d 67 34 |8ex; " S|RC="img4|
|000044b0| 2e 70 6e 67 22 0a 20 41 | 4c 54 3d 22 24 5c 42 62 |.png". A|LT="$\Bb|
|000044c0| 62 24 22 3e 3c 49 3e 51 | 3c 2f 49 3e 3c 53 55 42 |b$"><I>Q|</I><SUB|
|000044d0| 3e 70 3c 2f 53 55 42 3e | 2c 0a 69 6e 20 77 68 69 |>p</SUB>|,.in whi|
|000044e0| 63 68 20 63 61 73 65 20 | 74 68 65 20 6f 75 74 70 |ch case |the outp|
|000044f0| 75 74 20 69 73 20 61 20 | 3c 49 3e 70 3c 2f 49 3e |ut is a |<I>p</I>|
|00004500| 2d 61 64 69 63 20 6e 75 | 6d 62 65 72 20 3c 49 3e |-adic nu|mber <I>|
|00004510| 74 3c 2f 49 3e 20 63 6f | 72 72 65 73 70 6f 6e 64 |t</I> co|rrespond|
|00004520| 69 6e 67 20 74 6f 20 74 | 68 65 20 70 6f 69 6e 74 |ing to t|he point|
|00004530| 0a 3c 49 3e 7a 3c 2f 49 | 3e 20 75 6e 64 65 72 20 |.<I>z</I|> under |
|00004540| 74 68 65 20 54 61 74 65 | 20 70 61 72 61 6d 65 74 |the Tate| paramet|
|00004550| 72 69 7a 61 74 69 6f 6e | 2c 20 6f 72 20 6f 6e 6c |rization|, or onl|
|00004560| 79 20 69 74 73 20 73 71 | 75 61 72 65 20 69 73 2c |y its sq|uare is,|
|00004570| 20 69 6e 20 77 68 69 63 | 68 20 63 61 73 65 0a 74 | in whic|h case.t|
|00004580| 68 65 20 6f 75 74 70 75 | 74 20 69 73 20 3c 49 3e |he outpu|t is <I>|
|00004590| 74 3c 2f 49 3e 20 2b 20 | 31 2f 3c 49 3e 74 3c 2f |t</I> + |1/<I>t</|
|000045a0| 49 3e 2e 20 3c 49 3e 65 | 3c 2f 49 3e 20 6d 75 73 |I>. <I>e|</I> mus|
|000045b0| 74 20 62 65 20 61 20 6c | 6f 6e 67 20 76 65 63 74 |t be a l|ong vect|
|000045c0| 6f 72 20 6f 66 20 74 68 | 65 20 74 79 70 65 20 67 |or of th|e type g|
|000045d0| 69 76 65 6e 20 62 79 0a | 3c 54 54 3e 69 6e 69 74 |iven by.|<TT>init|
|000045e0| 65 6c 6c 3c 2f 54 54 3e | 2e 0a 0a 3c 50 3e 0a 54 |ell</TT>|...<P>.T|
|000045f0| 68 65 20 6c 69 62 72 61 | 72 79 20 73 79 6e 74 61 |he libra|ry synta|
|00004600| 78 20 69 73 20 3c 21 2d | 2d 20 4d 41 54 48 0a 20 |x is <!-|- MATH. |
|00004610| 24 5c 74 65 62 7b 7a 65 | 6c 6c 7d 28 65 2c 7a 2c |$\teb{ze|ll}(e,z,|
|00004620| 70 72 65 63 29 24 0a 20 | 2d 2d 3e 0a 3c 49 4d 47 |prec)$. |-->.<IMG|
|00004630| 0a 20 53 54 59 4c 45 3d | 22 68 65 69 67 68 74 3a |. STYLE=|"height:|
|00004640| 20 31 39 36 2e 32 35 65 | 78 3b 20 76 65 72 74 69 | 196.25e|x; verti|
|00004650| 63 61 6c 2d 61 6c 69 67 | 6e 3a 20 2d 30 2e 31 32 |cal-alig|n: -0.12|
|00004660| 65 78 3b 20 22 20 53 52 | 43 3d 22 69 6d 67 31 2e |ex; " SR|C="img1.|
|00004670| 70 6e 67 22 0a 20 41 4c | 54 3d 22 24 5c 74 65 62 |png". AL|T="$\teb|
|00004680| 24 22 3e 3c 49 3e 7a 65 | 6c 6c 3c 2f 49 3e 28 3c |$"><I>ze|ll</I>(<|
|00004690| 49 3e 65 3c 2f 49 3e 2c | 20 3c 49 3e 7a 3c 2f 49 |I>e</I>,| <I>z</I|
|000046a0| 3e 2c 20 3c 49 3e 70 72 | 65 63 3c 2f 49 3e 29 2e |>, <I>pr|ec</I>).|
|000046b0| 0a 0a 3c 50 3e 0a 0a 3c | 48 52 3e 0a 0a 3c 2f 42 |..<P>..<|HR>..</B|
|000046c0| 4f 44 59 3e 0a 3c 2f 48 | 54 4d 4c 3e 0a |ODY>.</H|TML>. |
+--------+-------------------------+-------------------------+--------+--------+
